LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
vector_calculus_support.cpp 文件参考
#include "internal/expression_transform.hpp"
#include "internal/vector_calculus_support.hpp"
#include "numeric_evaluation.hpp"
#include "internal/numeric_probe.hpp"
#include "solver.hpp"
#include "internal/symbolic_ast.hpp"
#include <cmath>
#include <exception>
#include <map>
#include <memory>
#include <set>
#include <stdexcept>
#include <string>
#include <vector>
vector_calculus_support.cpp 的引用(Include)关系图:

浏览该文件的源代码.

命名空间

namespace  LMCAS
namespace  LMCAS::vector_calculus_detail

函数

bool LMCAS::vector_calculus_detail::vector_calculus_checked_finite_numeric (const std::shared_ptr< SymbolicExpr > &expr, double &value, ComputationContext &context)
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)
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)
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)
static Result< void > LMCAS::vector_calculus_detail::vector_calculus_validate_surface_bounds (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, 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)