|
LMCAS
Lamina Computer Algebra System
|
#include "internal/expression_transform.hpp"#include "internal/vector_calculus_support.hpp"#include "vector_calculus_extrema.hpp"#include "integration.hpp"#include "numeric_evaluation.hpp"#include "solver.hpp"#include "solve_strategies.hpp"#include "symbolic_matrix.hpp"#include "internal/symbolic_ast.hpp"#include "residual_verification.hpp"#include <cmath>#include <exception>#include <map>#include <memory>#include <set>#include <stdexcept>#include <string>#include <vector>命名空间 | |
| namespace | LMCAS |
函数 | |
| static VectorCalculusFieldResult | LMCAS::lagrange_gradient_strict (const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::string > &vars, const std::string &operation, detail::RewriteBudget &transform_budget) |
| static std::vector< std::string > | LMCAS::lagrange_multiplier_names (size_t count) |
| std::vector< std::map< std::string, std::shared_ptr< SymbolicExpr > > > | LMCAS::lagrange_multipliers (const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::shared_ptr< SymbolicExpr > > &constraints, const std::vector< std::string > &vars) |
| LagrangeResult | LMCAS::lagrange_multipliers_checked (const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::shared_ptr< SymbolicExpr > > &constraints, const std::vector< std::string > &vars) |
| LagrangeResult | LMCAS::lagrange_multipliers_checked (const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::shared_ptr< SymbolicExpr > > &constraints, const std::vector< std::string > &vars, ComputationContext &context) |
| static LagrangeResult | LMCAS::lagrange_multipliers_strict (const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::shared_ptr< SymbolicExpr > > &constraints, const std::vector< std::string > &vars, ComputationContext &context, const std::string &operation, detail::RewriteBudget &transform_budget) |
| static std::shared_ptr< SymbolicExpr > | LMCAS::lagrange_stationarity_equation (const VectorField &gradient, const std::vector< VectorField > &constraints, const std::vector< std::string > &multipliers, size_t index) |
| static LagrangeResult | LMCAS::solve_lagrange_strict (const VectorField &equations, const std::vector< std::string > &all_vars, ComputationContext &context, const std::string &operation) |
| static LagrangeResult | LMCAS::verify_lagrange_solutions (const std::vector< std::map< std::string, std::shared_ptr< SymbolicExpr > > > &full_solutions, const VectorField &equations, const std::vector< std::string > &all_vars, const std::vector< std::string > &vars, ComputationContext &context, const std::string &operation, detail::RewriteBudget &transform_budget) |