LMCAS: src/internal/vector_calculus_support.hpp 源文件

#pragma once


#include "vector_calculus_types.hpp"

#include "internal/symbolic_ast.hpp"

#include "internal/rewrite_budget.hpp"


namespace LMCAS::vector_calculus_detail {


std::vector<std::string> vector_calculus_coord_vars(std::size_t dimension);


VectorField vector_calculus_cross_product_partials(

    const VectorField& parametrization,

    const std::string& u, const std::string& v,

    detail::RewriteBudget& transform_budget);


std::shared_ptr<SymbolicExpr> vector_calculus_integrate_with_fallback(

    const std::shared_ptr<SymbolicExpr>& integrand,

    const std::string& variable,

    const std::shared_ptr<SymbolicExpr>& lower,

    const std::shared_ptr<SymbolicExpr>& upper,

    ComputationContext& context,

    detail::RewriteBudget& transform_budget);


VectorCalculusExprResult curve_integral_scalar_strict(

    const std::shared_ptr<SymbolicExpr>& function,

    const VectorField& parametrization,

    const std::string& parameter,

    const std::shared_ptr<SymbolicExpr>& lower,

    const std::shared_ptr<SymbolicExpr>& upper,

    ComputationContext& context,

    const std::string& operation,

    detail::RewriteBudget& transform_budget);


VectorCalculusExprResult curve_integral_vector_strict(

    const VectorField& field,

    const VectorField& parametrization,

    const std::string& parameter,

    const std::shared_ptr<SymbolicExpr>& lower,

    const std::shared_ptr<SymbolicExpr>& upper,

    ComputationContext& context,

    const std::string& operation,

    detail::RewriteBudget& transform_budget);


VectorCalculusExprResult surface_integral_scalar_strict(

    const std::shared_ptr<SymbolicExpr>& function,

    const VectorField& parametrization,

    const std::string& u,

    const std::string& v,

    const std::shared_ptr<SymbolicExpr>& u_lower,

    const std::shared_ptr<SymbolicExpr>& u_upper,

    const std::shared_ptr<SymbolicExpr>& v_lower,

    const std::shared_ptr<SymbolicExpr>& v_upper,

    ComputationContext& context,

    const std::string& operation,

    detail::RewriteBudget& transform_budget);


VectorCalculusExprResult surface_integral_vector_strict(

    const VectorField& field,

    const VectorField& parametrization,

    const std::string& u,

    const std::string& v,

    const std::shared_ptr<SymbolicExpr>& u_lower,

    const std::shared_ptr<SymbolicExpr>& u_upper,

    const std::shared_ptr<SymbolicExpr>& v_lower,

    const std::shared_ptr<SymbolicExpr>& v_upper,

    ComputationContext& context,

    const std::string& operation,

    detail::RewriteBudget& transform_budget);


VectorCalculusExprResult greens_theorem_strict(

    const std::shared_ptr<SymbolicExpr>& p,

    const std::shared_ptr<SymbolicExpr>& q,

    const std::vector<std::string>& variables,

    const std::pair<std::shared_ptr<SymbolicExpr>,

                    std::shared_ptr<SymbolicExpr>>& x_bounds,

    const std::pair<std::shared_ptr<SymbolicExpr>,

                    std::shared_ptr<SymbolicExpr>>& y_bounds,

    ComputationContext& context,

    const std::string& operation,

    detail::RewriteBudget& transform_budget);


VectorCalculusExprResult greens_theorem_area_strict(

    const VectorField& parametrization,

    const std::string& parameter,

    const std::shared_ptr<SymbolicExpr>& lower,

    const std::shared_ptr<SymbolicExpr>& upper,

    ComputationContext& context,

    const std::string& operation,

    detail::RewriteBudget& transform_budget);


VectorCalculusExprResult divergence_theorem_strict(

    const VectorField& field,

    const std::vector<std::string>& variables,

    const std::pair<std::shared_ptr<SymbolicExpr>,

                    std::shared_ptr<SymbolicExpr>>& x_bounds,

    const std::pair<std::shared_ptr<SymbolicExpr>,

                    std::shared_ptr<SymbolicExpr>>& y_bounds,

    const std::pair<std::shared_ptr<SymbolicExpr>,

                    std::shared_ptr<SymbolicExpr>>& z_bounds,

    ComputationContext& context,

    const std::string& operation,

    detail::RewriteBudget& transform_budget);


VectorCalculusExprResult stokes_theorem_strict(

    const VectorField& field,

    const std::vector<std::string>& variables,

    const VectorField& parametrization,

    const std::string& u,

    const std::string& v,

    const std::pair<std::shared_ptr<SymbolicExpr>,

                    std::shared_ptr<SymbolicExpr>>& u_bounds,

    const std::pair<std::shared_ptr<SymbolicExpr>,

                    std::shared_ptr<SymbolicExpr>>& v_bounds,

    ComputationContext& context,

    const std::string& operation,

    detail::RewriteBudget& transform_budget);


bool vector_calculus_checked_finite_numeric(

    const std::shared_ptr<SymbolicExpr>& expr,

    double& value,

    ComputationContext& context);


Result<void> vector_calculus_validate_expr_vars(

    const std::shared_ptr<SymbolicExpr>& f,

    const std::vector<std::string>& vars,

    ComputationContext& context,

    const std::string& operation);


Result<void> vector_calculus_validate_field_vars(

    const VectorField& field,

    const std::vector<std::string>& vars,

    ComputationContext& context,

    const std::string& operation);


Result<void> vector_calculus_validate_functions_vars(

    const std::vector<std::shared_ptr<SymbolicExpr>>& functions,

    const std::vector<std::string>& vars,

    ComputationContext& context,

    const std::string& operation);


Result<void> vector_calculus_validate_curve_parametrization(

    const VectorField& parametrization,

    const std::string& t,

    const std::shared_ptr<SymbolicExpr>& a,

    const std::shared_ptr<SymbolicExpr>& b,

    ComputationContext& context,

    const std::string& operation);


Result<void> vector_calculus_validate_curve_scalar_inputs(

    const std::shared_ptr<SymbolicExpr>& f,

    const VectorField& parametrization,

    const std::string& t,

    const std::shared_ptr<SymbolicExpr>& a,

    const std::shared_ptr<SymbolicExpr>& b,

    ComputationContext& context,

    const std::string& operation);


Result<void> vector_calculus_validate_curve_vector_inputs(

    const VectorField& F,

    const VectorField& parametrization,

    const std::string& t,

    const std::shared_ptr<SymbolicExpr>& a,

    const std::shared_ptr<SymbolicExpr>& b,

    ComputationContext& context,

    const std::string& operation);


Result<void> vector_calculus_validate_surface_parametrization(

    const VectorField& parametrization,

    const std::string& u,

    const std::string& v,

    const std::shared_ptr<SymbolicExpr>& u_lower,

    const std::shared_ptr<SymbolicExpr>& u_upper,

    const std::shared_ptr<SymbolicExpr>& v_lower,

    const std::shared_ptr<SymbolicExpr>& v_upper,

    ComputationContext& context,

    const std::string& operation);


Result<void> vector_calculus_validate_surface_scalar_inputs(

    const std::shared_ptr<SymbolicExpr>& f,

    const VectorField& parametrization,

    const std::string& u,

    const std::string& v,

    const std::shared_ptr<SymbolicExpr>& u_lower,

    const std::shared_ptr<SymbolicExpr>& u_upper,

    const std::shared_ptr<SymbolicExpr>& v_lower,

    const std::shared_ptr<SymbolicExpr>& v_upper,

    ComputationContext& context,

    const std::string& operation);


Result<void> vector_calculus_validate_surface_vector_inputs(

    const VectorField& F,

    const VectorField& parametrization,

    const std::string& u,

    const std::string& v,

    const std::shared_ptr<SymbolicExpr>& u_lower,

    const std::shared_ptr<SymbolicExpr>& u_upper,

    const std::shared_ptr<SymbolicExpr>& v_lower,

    const std::shared_ptr<SymbolicExpr>& v_upper,

    ComputationContext& context,

    const std::string& operation);


Result<void> vector_calculus_validate_bound_pair(

    const std::pair<std::shared_ptr<SymbolicExpr>, std::shared_ptr<SymbolicExpr>>& bounds,

    ComputationContext& context,

    const std::string& operation,

    const std::string& label);


Result<void> vector_calculus_validate_distinct_vars(

    const std::vector<std::string>& vars,

    std::size_t expected,

    ComputationContext& context,

    const std::string& operation);


bool vector_calculus_expr_zero_after_substitution(

    const std::shared_ptr<SymbolicExpr>& expr,

    const std::map<std::string, std::shared_ptr<SymbolicExpr>>& point,

    ComputationContext& context,

    detail::RewriteBudget& transform_budget);


bool vector_calculus_point_has_vars(

    const std::map<std::string, std::shared_ptr<SymbolicExpr>>& point,

    const std::vector<std::string>& vars);


VectorCalculusExprResult vector_calculus_wrap_expr(

    std::shared_ptr<SymbolicExpr> expr,

    const std::string& operation);


VectorCalculusFieldResult vector_calculus_wrap_field(

    VectorField field,

    const std::string& operation);


std::shared_ptr<SymbolicExpr> vector_calculus_cross_component(

    const VectorField& left, const VectorField& right, std::size_t index);


VectorCalculusExprResult vector_calculus_simplify_strict(

    const std::shared_ptr<SymbolicExpr>& expr,

    const std::string& operation,

    const std::string& message,

    detail::RewriteBudget& transform_budget);


VectorCalculusExprResult vector_calculus_differentiate_strict(

    const std::shared_ptr<SymbolicExpr>& expr,

    const std::string& variable,

    const std::string& operation,

    detail::RewriteBudget& transform_budget);


VectorField gradient_impl(const std::shared_ptr<SymbolicExpr>& f,

    const std::vector<std::string>& vars,

    detail::RewriteBudget& transform_budget);

std::shared_ptr<SymbolicExpr> divergence_impl(const VectorField& F,

    const std::vector<std::string>& vars,

    detail::RewriteBudget& transform_budget);

VectorField curl_impl(const VectorField& F,

    const std::vector<std::string>& vars,

    detail::RewriteBudget& transform_budget);

std::shared_ptr<SymbolicExpr> laplacian_impl(const std::shared_ptr<SymbolicExpr>& f,

    const std::vector<std::string>& vars,

    detail::RewriteBudget& transform_budget);

std::shared_ptr<SymbolicExpr> directional_derivative_impl(

    const std::shared_ptr<SymbolicExpr>& f, const std::vector<std::string>& vars,

    const VectorField& direction, int order,

    detail::RewriteBudget& transform_budget);

std::shared_ptr<SymbolicExpr> jacobian_impl(

    const std::vector<std::shared_ptr<SymbolicExpr>>& functions,

    const std::vector<std::string>& vars,

    detail::RewriteBudget& transform_budget);

std::shared_ptr<SymbolicExpr> hessian_impl(

    const std::shared_ptr<SymbolicExpr>& f, const std::vector<std::string>& vars,

    detail::RewriteBudget& transform_budget);


} // namespace LMCAS::vector_calculus_detail


LMCAS::ComputationContext
定义 computation_context.hpp:99

LMCAS::Result
定义 result.hpp:39

LMCAS::detail::RewriteBudget
定义 rewrite_budget.hpp:15

LMCAS::vector_calculus_detail
定义 vector_calculus_support.hpp:7

LMCAS::vector_calculus_detail::vector_calculus_validate_curve_scalar_inputs
Result< void > vector_calculus_validate_curve_scalar_inputs(const std::shared_ptr< SymbolicExpr > &f, const VectorField &parametrization, const std::string &t, const std::shared_ptr< SymbolicExpr > &a, const std::shared_ptr< SymbolicExpr > &b, ComputationContext &context, const std::string &operation)
定义 vector_calculus_support.cpp:162

LMCAS::vector_calculus_detail::vector_calculus_point_has_vars
bool vector_calculus_point_has_vars(const std::map< std::string, std::shared_ptr< SymbolicExpr > > &point, const std::vector< std::string > &vars)
定义 vector_calculus_support.cpp:407

LMCAS::vector_calculus_detail::vector_calculus_cross_product_partials
VectorField vector_calculus_cross_product_partials(const VectorField &parametrization, const std::string &u, const std::string &v, detail::RewriteBudget &transform_budget)
定义 vector_calculus_surfaces.cpp:11

LMCAS::vector_calculus_detail::vector_calculus_validate_distinct_vars
Result< void > vector_calculus_validate_distinct_vars(const std::vector< std::string > &vars, std::size_t expected, ComputationContext &context, const std::string &operation)
定义 vector_calculus_support.cpp:347

LMCAS::vector_calculus_detail::vector_calculus_validate_surface_parametrization
Result< void > vector_calculus_validate_surface_parametrization(const VectorField &parametrization, const std::string &u, const std::string &v, const std::shared_ptr< SymbolicExpr > &u_lower, const std::shared_ptr< SymbolicExpr > &u_upper, const std::shared_ptr< SymbolicExpr > &v_lower, const std::shared_ptr< SymbolicExpr > &v_upper, ComputationContext &context, const std::string &operation)
定义 vector_calculus_support.cpp:231

LMCAS::vector_calculus_detail::surface_integral_scalar_strict
VectorCalculusExprResult surface_integral_scalar_strict(const std::shared_ptr< SymbolicExpr > &function, const VectorField &parametrization, const std::string &u, const std::string &v, const std::shared_ptr< SymbolicExpr > &u_lower, const std::shared_ptr< SymbolicExpr > &u_upper, const std::shared_ptr< SymbolicExpr > &v_lower, const std::shared_ptr< SymbolicExpr > &v_upper, ComputationContext &context, const std::string &operation, detail::RewriteBudget &transform_budget)
定义 vector_calculus_integrals.cpp:360

LMCAS::vector_calculus_detail::vector_calculus_validate_expr_vars
Result< void > vector_calculus_validate_expr_vars(const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::string > &vars, ComputationContext &context, const std::string &operation)
定义 vector_calculus_support.cpp:32

LMCAS::vector_calculus_detail::vector_calculus_differentiate_strict
VectorCalculusExprResult vector_calculus_differentiate_strict(const std::shared_ptr< SymbolicExpr > &expr, const std::string &variable, const std::string &operation, detail::RewriteBudget &transform_budget)
定义 vector_calculus_integrals.cpp:154

LMCAS::vector_calculus_detail::vector_calculus_validate_surface_vector_inputs
Result< void > vector_calculus_validate_surface_vector_inputs(const VectorField &F, const VectorField &parametrization, const std::string &u, const std::string &v, const std::shared_ptr< SymbolicExpr > &u_lower, const std::shared_ptr< SymbolicExpr > &u_upper, const std::shared_ptr< SymbolicExpr > &v_lower, const std::shared_ptr< SymbolicExpr > &v_upper, ComputationContext &context, const std::string &operation)
定义 vector_calculus_support.cpp:300

LMCAS::vector_calculus_detail::vector_calculus_expr_zero_after_substitution
bool vector_calculus_expr_zero_after_substitution(const std::shared_ptr< SymbolicExpr > &expr, const std::map< std::string, std::shared_ptr< SymbolicExpr > > &point, ComputationContext &context, detail::RewriteBudget &transform_budget)
定义 vector_calculus_support.cpp:376

LMCAS::vector_calculus_detail::directional_derivative_impl
std::shared_ptr< SymbolicExpr > directional_derivative_impl(const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::string > &vars, const VectorField &direction, int order, detail::RewriteBudget &transform_budget)
定义 vector_calculus_directional.cpp:128

LMCAS::vector_calculus_detail::vector_calculus_coord_vars
std::vector< std::string > vector_calculus_coord_vars(std::size_t dimension)

LMCAS::vector_calculus_detail::jacobian_impl
std::shared_ptr< SymbolicExpr > jacobian_impl(const std::vector< std::shared_ptr< SymbolicExpr > > &functions, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
定义 vector_calculus_matrices.cpp:50

LMCAS::vector_calculus_detail::vector_calculus_validate_surface_scalar_inputs
Result< void > vector_calculus_validate_surface_scalar_inputs(const std::shared_ptr< SymbolicExpr > &f, const VectorField &parametrization, const std::string &u, const std::string &v, const std::shared_ptr< SymbolicExpr > &u_lower, const std::shared_ptr< SymbolicExpr > &u_upper, const std::shared_ptr< SymbolicExpr > &v_lower, const std::shared_ptr< SymbolicExpr > &v_upper, ComputationContext &context, const std::string &operation)
定义 vector_calculus_support.cpp:276

LMCAS::vector_calculus_detail::surface_integral_vector_strict
VectorCalculusExprResult surface_integral_vector_strict(const VectorField &field, const VectorField &parametrization, const std::string &u, const std::string &v, const std::shared_ptr< SymbolicExpr > &u_lower, const std::shared_ptr< SymbolicExpr > &u_upper, const std::shared_ptr< SymbolicExpr > &v_lower, const std::shared_ptr< SymbolicExpr > &v_upper, ComputationContext &context, const std::string &operation, detail::RewriteBudget &transform_budget)
定义 vector_calculus_integrals.cpp:435

LMCAS::vector_calculus_detail::curve_integral_scalar_strict
VectorCalculusExprResult curve_integral_scalar_strict(const std::shared_ptr< SymbolicExpr > &function, const VectorField &parametrization, const std::string &parameter, const std::shared_ptr< SymbolicExpr > &lower, const std::shared_ptr< SymbolicExpr > &upper, ComputationContext &context, const std::string &operation, detail::RewriteBudget &transform_budget)
定义 vector_calculus_integrals.cpp:278

LMCAS::vector_calculus_detail::greens_theorem_area_strict
VectorCalculusExprResult greens_theorem_area_strict(const VectorField &parametrization, const std::string &parameter, const std::shared_ptr< SymbolicExpr > &lower, const std::shared_ptr< SymbolicExpr > &upper, ComputationContext &context, const std::string &operation, detail::RewriteBudget &transform_budget)
定义 vector_calculus_integrals.cpp:511

LMCAS::vector_calculus_detail::vector_calculus_cross_component
std::shared_ptr< SymbolicExpr > vector_calculus_cross_component(const VectorField &left, const VectorField &right, std::size_t index)
定义 vector_calculus_algebra.cpp:28

LMCAS::vector_calculus_detail::gradient_impl
VectorField gradient_impl(const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
定义 vector_calculus_differential.cpp:49

LMCAS::vector_calculus_detail::vector_calculus_simplify_strict
VectorCalculusExprResult vector_calculus_simplify_strict(const std::shared_ptr< SymbolicExpr > &expr, const std::string &operation, const std::string &message, detail::RewriteBudget &transform_budget)
定义 vector_calculus_integrals.cpp:138

LMCAS::vector_calculus_detail::divergence_impl
std::shared_ptr< SymbolicExpr > divergence_impl(const VectorField &F, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
定义 vector_calculus_differential.cpp:112

LMCAS::vector_calculus_detail::vector_calculus_validate_curve_parametrization
Result< void > vector_calculus_validate_curve_parametrization(const VectorField &parametrization, const std::string &t, const std::shared_ptr< SymbolicExpr > &a, const std::shared_ptr< SymbolicExpr > &b, ComputationContext &context, const std::string &operation)
定义 vector_calculus_support.cpp:127

LMCAS::vector_calculus_detail::vector_calculus_integrate_with_fallback
std::shared_ptr< SymbolicExpr > vector_calculus_integrate_with_fallback(const std::shared_ptr< SymbolicExpr > &integrand, const std::string &variable, const std::shared_ptr< SymbolicExpr > &lower, const std::shared_ptr< SymbolicExpr > &upper, ComputationContext &context, detail::RewriteBudget &transform_budget)
定义 vector_calculus_integrals.cpp:112

LMCAS::vector_calculus_detail::stokes_theorem_strict
VectorCalculusExprResult stokes_theorem_strict(const VectorField &field, const std::vector< std::string > &variables, const VectorField &parametrization, const std::string &u, const std::string &v, const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > &u_bounds, const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > &v_bounds, ComputationContext &context, const std::string &operation, detail::RewriteBudget &transform_budget)
定义 vector_calculus_integrals.cpp:632

LMCAS::vector_calculus_detail::vector_calculus_validate_functions_vars
Result< void > vector_calculus_validate_functions_vars(const std::vector< std::shared_ptr< SymbolicExpr > > &functions, const std::vector< std::string > &vars, ComputationContext &context, const std::string &operation)
定义 vector_calculus_support.cpp:92

LMCAS::vector_calculus_detail::laplacian_impl
std::shared_ptr< SymbolicExpr > laplacian_impl(const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
定义 vector_calculus_differential.cpp:295

LMCAS::vector_calculus_detail::vector_calculus_checked_finite_numeric
bool vector_calculus_checked_finite_numeric(const std::shared_ptr< SymbolicExpr > &expr, double &value, ComputationContext &context)
定义 vector_calculus_support.cpp:19

LMCAS::vector_calculus_detail::greens_theorem_strict
VectorCalculusExprResult greens_theorem_strict(const std::shared_ptr< SymbolicExpr > &p, const std::shared_ptr< SymbolicExpr > &q, const std::vector< std::string > &variables, const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > &x_bounds, const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > &y_bounds, ComputationContext &context, const std::string &operation, detail::RewriteBudget &transform_budget)
定义 vector_calculus_integrals.cpp:459

LMCAS::vector_calculus_detail::vector_calculus_validate_curve_vector_inputs
Result< void > vector_calculus_validate_curve_vector_inputs(const VectorField &F, const VectorField &parametrization, const std::string &t, const std::shared_ptr< SymbolicExpr > &a, const std::shared_ptr< SymbolicExpr > &b, ComputationContext &context, const std::string &operation)
定义 vector_calculus_support.cpp:182

LMCAS::vector_calculus_detail::vector_calculus_wrap_field
VectorCalculusFieldResult vector_calculus_wrap_field(VectorField field, const std::string &operation)
定义 vector_calculus_support.cpp:433

LMCAS::vector_calculus_detail::vector_calculus_validate_bound_pair
Result< void > vector_calculus_validate_bound_pair(const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > &bounds, ComputationContext &context, const std::string &operation, const std::string &label)
定义 vector_calculus_support.cpp:331

LMCAS::vector_calculus_detail::vector_calculus_wrap_expr
VectorCalculusExprResult vector_calculus_wrap_expr(std::shared_ptr< SymbolicExpr > expr, const std::string &operation)
定义 vector_calculus_support.cpp:420

LMCAS::vector_calculus_detail::hessian_impl
std::shared_ptr< SymbolicExpr > hessian_impl(const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
定义 vector_calculus_matrices.cpp:119

LMCAS::vector_calculus_detail::vector_calculus_validate_field_vars
Result< void > vector_calculus_validate_field_vars(const VectorField &field, const std::vector< std::string > &vars, ComputationContext &context, const std::string &operation)
定义 vector_calculus_support.cpp:58

LMCAS::vector_calculus_detail::curl_impl
VectorField curl_impl(const VectorField &F, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
定义 vector_calculus_differential.cpp:194

LMCAS::vector_calculus_detail::curve_integral_vector_strict
VectorCalculusExprResult curve_integral_vector_strict(const VectorField &field, const VectorField &parametrization, const std::string &parameter, const std::shared_ptr< SymbolicExpr > &lower, const std::shared_ptr< SymbolicExpr > &upper, ComputationContext &context, const std::string &operation, detail::RewriteBudget &transform_budget)
定义 vector_calculus_integrals.cpp:328

LMCAS::vector_calculus_detail::divergence_theorem_strict
VectorCalculusExprResult divergence_theorem_strict(const VectorField &field, const std::vector< std::string > &variables, const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > &x_bounds, const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > &y_bounds, const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > &z_bounds, ComputationContext &context, const std::string &operation, detail::RewriteBudget &transform_budget)
定义 vector_calculus_integrals.cpp:544

LMCAS::point
const std::string const LimitExprPtr & point
定义 limit_result.hpp:29

LMCAS::variable
const std::string & variable
定义 expr.hpp:286

LMCAS::upper
__attribute__((visibility("default"))) ExprResult function(const std __attribute__((visibility("default"))) ExprResult finite_set(std ExprPtr upper
定义 expr.hpp:148

LMCAS::v
__attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) std const VectorField const std::string const std::string & v
定义 vector_calculus_surfaces.hpp:59

LMCAS::context
const std::vector< Polynomial< BigInt > > const BigInt ComputationContext & context
定义 exact_factorization.hpp:65

LMCAS::vars
__attribute__((visibility("default"))) VectorCalculusFieldResult gradient_checked(const std __attribute__((visibility("default"))) VectorCalculusFieldResult gradient_checked(const std __attribute__((visibility("default"))) VectorField gradient(const std const std::vector< std::string > & vars
定义 vector_calculus_differential.hpp:36

LMCAS::lower
const ExprPtr & lower
定义 expr.hpp:255

LMCAS::order
const std::vector< FGLMPoly > const MonomialOrder & order
定义 fglm.hpp:103

LMCAS::direction
const std::string const LimitExprPtr LimitDirection direction
定义 limit_result.hpp:30

LMCAS::v_lower
__attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) std const VectorField const std::string const std::string const std::shared_ptr< SymbolicExpr > const std::shared_ptr< SymbolicExpr > const std::shared_ptr< SymbolicExpr > & v_lower
定义 vector_calculus_surfaces.hpp:61

LMCAS::u_lower
__attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) std const VectorField const std::string const std::string const std::shared_ptr< SymbolicExpr > & u_lower
定义 vector_calculus_surfaces.hpp:60

LMCAS::b
const MultiPoly & b
定义 multivariate_factor.hpp:92

LMCAS::z_bounds
__attribute__((visibility("default"))) std const std::vector< std::string > const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > & z_bounds
定义 vector_calculus_theorems.hpp:94

LMCAS::v_upper
__attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) std const VectorField const std::string const std::string const std::shared_ptr< SymbolicExpr > const std::shared_ptr< SymbolicExpr > const std::shared_ptr< SymbolicExpr > const std::shared_ptr< SymbolicExpr > & v_upper
定义 vector_calculus_surfaces.hpp:61

LMCAS::x_bounds
__attribute__((visibility("default"))) std const std::vector< std::string > const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > & x_bounds
定义 vector_calculus_theorems.hpp:92

LMCAS::a
__attribute__((visibility("default"))) VectorCalculusExprResult curve_integral_scalar_checked(const std __attribute__((visibility("default"))) VectorCalculusExprResult curve_integral_scalar_checked(const std __attribute__((visibility("default"))) std const VectorField const std::string const std::shared_ptr< SymbolicExpr > & a
定义 vector_calculus_curves.hpp:50

LMCAS::VectorField
std::vector< std::shared_ptr< SymbolicExpr > > VectorField
向量场由标量表达式组成。
定义 vector_calculus_types.hpp:15

LMCAS::VectorCalculusFieldResult
Result< VectorField > VectorCalculusFieldResult
定义 vector_calculus_types.hpp:17

LMCAS::u_bounds
__attribute__((visibility("default"))) std const std::vector< std::string > const VectorField const std::string const std::string const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > & u_bounds
定义 vector_calculus_theorems.hpp:134

LMCAS::y_bounds
__attribute__((visibility("default"))) std const std::vector< std::string > const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > & y_bounds
定义 vector_calculus_theorems.hpp:93

LMCAS::parametrization
__attribute__((visibility("default"))) VectorCalculusExprResult curve_integral_scalar_checked(const std __attribute__((visibility("default"))) VectorCalculusExprResult curve_integral_scalar_checked(const std __attribute__((visibility("default"))) std const VectorField & parametrization
定义 vector_calculus_curves.hpp:49

LMCAS::VectorCalculusExprResult
Result< std::shared_ptr< SymbolicExpr > > VectorCalculusExprResult
定义 vector_calculus_types.hpp:16

LMCAS::right
const ExprPtr & right
定义 residual_verification.hpp:50

LMCAS::v_bounds
__attribute__((visibility("default"))) std const std::vector< std::string > const VectorField const std::string const std::string const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > const std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > & v_bounds
定义 vector_calculus_theorems.hpp:135

LMCAS::value
const std::string const ExprPtr & value
定义 expr.hpp:293

LMCAS::u_upper
__attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) std const VectorField const std::string const std::string const std::shared_ptr< SymbolicExpr > const std::shared_ptr< SymbolicExpr > & u_upper
定义 vector_calculus_surfaces.hpp:60

LMCAS::function
ExprResult function(const std::string &name, std::vector< ExprPtr > arguments)
定义 expr_facade.cpp:135

LMCAS::t
__attribute__((visibility("default"))) VectorCalculusExprResult curve_integral_scalar_checked(const std __attribute__((visibility("default"))) VectorCalculusExprResult curve_integral_scalar_checked(const std __attribute__((visibility("default"))) std const VectorField const std::string & t
定义 vector_calculus_curves.hpp:50

LMCAS::u
__attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) VectorCalculusExprResult surface_integral_scalar_checked(const std __attribute__((visibility("default"))) std const VectorField const std::string & u
定义 vector_calculus_surfaces.hpp:59

rewrite_budget.hpp

symbolic_ast.hpp
内部 AST 定义。

vector_calculus_types.hpp