LMCAS::anonymous_namespace{symbolic_geometry_surface.cpp} 命名空间参考

函数
ExpressionResult	differentiate_surface_checked (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, const std::string &operation, ComputationContext &context)
PlaneSymbolicResult	scaled_tangent_plane (const std::vector< double > &gradient_values, double gradient_scale, const std::vector< double > &point_values, double point_scale, const std::string &operation)
VectorExprListResult	surface_gradient_at_point_checked (const SurfaceSymbolic &surf, const std::vector< std::shared_ptr< SymbolicExpr > > &point, const std::string &operation, ComputationContext &context)
Result< double >	surface_gradient_scale_checked (const std::vector< std::shared_ptr< SymbolicExpr > > &gradient, ComputationContext &context, const std::string &operation, std::vector< double > &values, const std::string &singular_message)

函数说明

differentiate_surface_checked()

ExpressionResult LMCAS::anonymous_namespace{symbolic_geometry_surface.cpp}::differentiate_surface_checked	(	const std::shared_ptr< SymbolicExpr > &	expr,
		const std::string &	var,
		const std::string &	operation,
		ComputationContext &	context )

在文件 symbolic_geometry_surface.cpp 第 18 行定义.

    {
 
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    try {
        auto derivative = detail::make_expression_ptr(detail::differentiate_node(detail::node(expr), var, transform_budget));
        return simplify_checked(
            derivative, operation,
            "surface derivative is outside the supported domain", context);
    } catch (const std::length_error& error) { return ExpressionResult::failure(CasErrc::ResourceLimit, error.what(), operation); } catch (const std::exception&) {
        return ExpressionResult::failure(
            CasErrc::InternalInvariant,
            "surface derivative is outside the supported domain",
            operation);
    }
} catch (const CasError& error) {
    return ExpressionResult::failure(error);
} catch (const std::bad_alloc&) {
    return ExpressionResult::failure(CasErrc::ResourceLimit, "allocation failed", operation);
} catch (const std::length_error& error) {
    return ExpressionResult::failure(CasErrc::ResourceLimit, error.what(), operation);
} catch (const std::exception& error) {
    return ExpressionResult::failure(CasErrc::InternalInvariant, error.what(), operation);
}

引用了 LMCAS::context, LMCAS::detail::differentiate_node(), differentiate_surface_checked(), LMCAS::Result< std::shared_ptr< SymbolicExpr > >::failure(), LMCAS::InternalInvariant, LMCAS::detail::make_expression_ptr(), LMCAS::detail::node(), LMCAS::ResourceLimit , 以及 LMCAS::geometry_detail::simplify_checked().

被这些函数引用 differentiate_surface_checked() , 以及 surface_gradient_at_point_checked().

函数调用图:

这是这个函数的调用关系图:

scaled_tangent_plane()

PlaneSymbolicResult LMCAS::anonymous_namespace{symbolic_geometry_surface.cpp}::scaled_tangent_plane	(	const std::vector< double > &	gradient_values,
		double	gradient_scale,
		const std::vector< double > &	point_values,
		double	point_scale,
		const std::string &	operation )

在文件 symbolic_geometry_surface.cpp 第 113 行定义.

{
    double normalized_dot = 0.0;
    for (size_t i = 0; i < point_values.size(); ++i) {
        normalized_dot = std::fma(
            gradient_values[i] / gradient_scale,
            point_values[i] / point_scale,
            normalized_dot);
    }
    const double plane_constant = normalized_dot * point_scale;
    if (!std::isfinite(plane_constant)) {
        return PlaneSymbolicResult::failure(
            CasErrc::NumericFailure,
            "tangent plane constant is outside the supported domain",
            operation);
    }
 
    PlaneSymbolic plane;
    plane.normal.reserve(gradient_values.size());
    for (double component : gradient_values) {
        plane.normal.push_back(
            SymbolicExpr::number(component / gradient_scale));
    }
    plane.d = SymbolicExpr::number(plane_constant);
    return PlaneSymbolicResult::success(std::move(plane));
}

引用了 LMCAS::PlaneSymbolic::d, LMCAS::Result< PlaneSymbolic >::failure(), LMCAS::PlaneSymbolic::normal, LMCAS::NumericFailure, LMCAS::plane, scaled_tangent_plane() , 以及 LMCAS::Result< PlaneSymbolic >::success().

被这些函数引用 scaled_tangent_plane().

函数调用图:

这是这个函数的调用关系图:

surface_gradient_at_point_checked()

VectorExprListResult LMCAS::anonymous_namespace{symbolic_geometry_surface.cpp}::surface_gradient_at_point_checked	(	const SurfaceSymbolic &	surf,
		const std::vector< std::shared_ptr< SymbolicExpr > > &	point,
		const std::string &	operation,
		ComputationContext &	context )

在文件 symbolic_geometry_surface.cpp 第 47 行定义.

    {
 
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    std::vector<std::shared_ptr<SymbolicExpr>> gradient;
    gradient.reserve(surf.vars.size());
    for (size_t i = 0; i < surf.vars.size(); ++i) {
        auto derivative = differentiate_surface_checked(surf.F, surf.vars[i], operation, context);
        if (!derivative) return VectorExprListResult::failure(derivative.error());
        auto substituted = derivative.value();
        for (size_t j = 0; j < surf.vars.size(); ++j) {
            substituted = detail::make_expression_ptr(detail::substitute_node(detail::node(substituted), surf.vars[j], detail::node(point[j]), transform_budget));
            if (!substituted || !LMCAS::detail::node(substituted)) {
                return VectorExprListResult::failure(
                    CasErrc::Inconclusive,
                    "surface derivative substitution is outside the supported domain",
                    operation);
            }
        }
        auto simplified = simplify_checked(
            substituted, operation,
            "surface derivative substitution is outside the supported domain", context);
        if (!simplified) return VectorExprListResult::failure(simplified.error());
        gradient.push_back(std::move(simplified.value()));
    }
    return VectorExprListResult::success(std::move(gradient));
} catch (const CasError& error) {
    return VectorExprListResult::failure(error);
} catch (const std::bad_alloc&) {
    return VectorExprListResult::failure(CasErrc::ResourceLimit, "allocation failed", operation);
} catch (const std::length_error& error) {
    return VectorExprListResult::failure(CasErrc::ResourceLimit, error.what(), operation);
} catch (const std::exception& error) {
    return VectorExprListResult::failure(CasErrc::InternalInvariant, error.what(), operation);
}

引用了 LMCAS::context, differentiate_surface_checked(), LMCAS::SurfaceSymbolic::F, LMCAS::Result< std::vector< std::shared_ptr< SymbolicExpr > > >::failure(), LMCAS::gradient(), LMCAS::Inconclusive, LMCAS::detail::make_expression_ptr(), LMCAS::detail::node(), LMCAS::point, LMCAS::geometry_detail::simplify_checked(), LMCAS::detail::substitute_node(), LMCAS::Result< std::vector< std::shared_ptr< SymbolicExpr > > >::success(), surface_gradient_at_point_checked() , 以及 LMCAS::SurfaceSymbolic::vars.

被这些函数引用 surface_gradient_at_point_checked().

函数调用图:

这是这个函数的调用关系图:

surface_gradient_scale_checked()

Result< double > LMCAS::anonymous_namespace{symbolic_geometry_surface.cpp}::surface_gradient_scale_checked	(	const std::vector< std::shared_ptr< SymbolicExpr > > &	gradient,
		ComputationContext &	context,
		const std::string &	operation,
		std::vector< double > &	values,
		const std::string &	singular_message )

在文件 symbolic_geometry_surface.cpp 第 87 行定义.

{
    auto scaled = numeric_vector_scale_checked(
        gradient, context, operation, &values);
    if (!scaled) {
        if (scaled.error().code == CasErrc::Cancelled ||
            scaled.error().code == CasErrc::ResourceLimit) {
            return Result<double>::failure(scaled.error());
        }
        return Result<double>::failure(
            CasErrc::Inconclusive,
            "surface gradient nonzero condition cannot be verified",
            operation);
    }
    if (scaled.value() == 0.0) {
        return Result<double>::failure(
            CasErrc::DomainError, singular_message, operation);
    }
    return scaled;
}

引用了 LMCAS::Cancelled, LMCAS::context, LMCAS::DomainError, LMCAS::Result< T >::failure(), LMCAS::gradient(), LMCAS::Inconclusive, LMCAS::geometry_detail::numeric_vector_scale_checked(), LMCAS::ResourceLimit , 以及 surface_gradient_scale_checked().

被这些函数引用 surface_gradient_scale_checked().

函数调用图:

这是这个函数的调用关系图: