LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
vector_calculus_support.hpp 文件参考
vector_calculus_support.hpp 的引用(Include)关系图:
此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

命名空间

namespace  LMCAS
namespace  LMCAS::vector_calculus_detail

函数

VectorField LMCAS::vector_calculus_detail::curl_impl (const VectorField &F, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
VectorCalculusExprResult LMCAS::vector_calculus_detail::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 LMCAS::vector_calculus_detail::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)
std::shared_ptr< SymbolicExpr > LMCAS::vector_calculus_detail::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 > LMCAS::vector_calculus_detail::divergence_impl (const VectorField &F, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
VectorCalculusExprResult LMCAS::vector_calculus_detail::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)
VectorField LMCAS::vector_calculus_detail::gradient_impl (const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
VectorCalculusExprResult LMCAS::vector_calculus_detail::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 LMCAS::vector_calculus_detail::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)
std::shared_ptr< SymbolicExpr > LMCAS::vector_calculus_detail::hessian_impl (const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
std::shared_ptr< SymbolicExpr > LMCAS::vector_calculus_detail::jacobian_impl (const std::vector< std::shared_ptr< SymbolicExpr > > &functions, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
std::shared_ptr< SymbolicExpr > LMCAS::vector_calculus_detail::laplacian_impl (const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::string > &vars, detail::RewriteBudget &transform_budget)
VectorCalculusExprResult LMCAS::vector_calculus_detail::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)
VectorCalculusExprResult LMCAS::vector_calculus_detail::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 LMCAS::vector_calculus_detail::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)
bool LMCAS::vector_calculus_detail::vector_calculus_checked_finite_numeric (const std::shared_ptr< SymbolicExpr > &expr, double &value, ComputationContext &context)
std::vector< std::string > LMCAS::vector_calculus_detail::vector_calculus_coord_vars (std::size_t dimension)
std::shared_ptr< SymbolicExpr > LMCAS::vector_calculus_detail::vector_calculus_cross_component (const VectorField &left, const VectorField &right, std::size_t index)
VectorField LMCAS::vector_calculus_detail::vector_calculus_cross_product_partials (const VectorField &parametrization, const std::string &u, const std::string &v, detail::RewriteBudget &transform_budget)
VectorCalculusExprResult LMCAS::vector_calculus_detail::vector_calculus_differentiate_strict (const std::shared_ptr< SymbolicExpr > &expr, const std::string &variable, const std::string &operation, detail::RewriteBudget &transform_budget)
bool LMCAS::vector_calculus_detail::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)
std::shared_ptr< SymbolicExpr > LMCAS::vector_calculus_detail::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)
bool LMCAS::vector_calculus_detail::vector_calculus_point_has_vars (const std::map< std::string, std::shared_ptr< SymbolicExpr > > &point, const std::vector< std::string > &vars)
VectorCalculusExprResult LMCAS::vector_calculus_detail::vector_calculus_simplify_strict (const std::shared_ptr< SymbolicExpr > &expr, const std::string &operation, const std::string &message, detail::RewriteBudget &transform_budget)
Result< void > LMCAS::vector_calculus_detail::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 > LMCAS::vector_calculus_detail::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 > LMCAS::vector_calculus_detail::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 > LMCAS::vector_calculus_detail::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 > LMCAS::vector_calculus_detail::vector_calculus_validate_distinct_vars (const std::vector< std::string > &vars, std::size_t expected, ComputationContext &context, const std::string &operation)
Result< void > LMCAS::vector_calculus_detail::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 > LMCAS::vector_calculus_detail::vector_calculus_validate_field_vars (const VectorField &field, const std::vector< std::string > &vars, ComputationContext &context, const std::string &operation)
Result< void > LMCAS::vector_calculus_detail::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 > LMCAS::vector_calculus_detail::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 > LMCAS::vector_calculus_detail::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 > LMCAS::vector_calculus_detail::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)
VectorCalculusExprResult LMCAS::vector_calculus_detail::vector_calculus_wrap_expr (std::shared_ptr< SymbolicExpr > expr, const std::string &operation)
VectorCalculusFieldResult LMCAS::vector_calculus_detail::vector_calculus_wrap_field (VectorField field, const std::string &operation)