differential_geometry.cpp 文件参考

微分几何实现。 更多...

#include <stdexcept>
#include "differential_geometry.hpp"
#include "symbolic_matrix.hpp"
#include "symbolic.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/expression_transform.hpp"
#include "internal/rewrite_budget.hpp"
#include <algorithm>
#include <map>
#include <numeric>

differential_geometry.cpp 的引用(Include)关系图:

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{differential_geometry.cpp}

函数
Result< std::size_t >	LMCAS::anonymous_namespace{differential_geometry.cpp}::bounded_binomial (std::size_t n, std::size_t k, std::size_t limit, const std::string &operation)
DifferentialGeometryExprResult	LMCAS::anonymous_namespace{differential_geometry.cpp}::checked_geometry_expression (std::shared_ptr< SymbolicExpr > &&result, CasErrc error, const char *message, const std::string &operation)
DifferentialGeometryExprResult	LMCAS::christoffel_first_kind_checked (const std::shared_ptr< SymbolicExpr > &g_ij, const std::vector< std::string > &coords, int k, int i, int j)
DifferentialGeometryExprResult	LMCAS::christoffel_first_kind_checked (const std::shared_ptr< SymbolicExpr > &g_ij, const std::vector< std::string > &coords, int k, int i, int j, ComputationContext &context)
static std::shared_ptr< SymbolicExpr >	LMCAS::christoffel_first_kind_impl (const std::shared_ptr< SymbolicExpr > &, const std::vector< std::string > &, int, int, int, ComputationContext &context)
DifferentialGeometryExprResult	LMCAS::christoffel_second_kind_checked (const std::shared_ptr< SymbolicExpr > &g_ij, const std::shared_ptr< SymbolicExpr > &g_up_ij, const std::vector< std::string > &coords, int k, int i, int j)
DifferentialGeometryExprResult	LMCAS::christoffel_second_kind_checked (const std::shared_ptr< SymbolicExpr > &g_ij, const std::shared_ptr< SymbolicExpr > &g_up_ij, const std::vector< std::string > &coords, int k, int i, int j, ComputationContext &context)
static std::shared_ptr< SymbolicExpr >	LMCAS::christoffel_second_kind_impl (const std::shared_ptr< SymbolicExpr > &, const std::shared_ptr< SymbolicExpr > &, const std::vector< std::string > &, int, int, int, ComputationContext &context)
DifferentialGeometryVectorResult	LMCAS::exterior_derivative_checked (const std::vector< std::shared_ptr< SymbolicExpr > > &form_coeffs, int degree, const std::vector< std::string > &vars)
DifferentialGeometryVectorResult	LMCAS::exterior_derivative_checked (const std::vector< std::shared_ptr< SymbolicExpr > > &form_coeffs, int degree, const std::vector< std::string > &vars, ComputationContext &context)
DifferentialGeometryExprResult	LMCAS::anonymous_namespace{differential_geometry.cpp}::exterior_derivative_component (const std::vector< std::shared_ptr< SymbolicExpr > > &form_coeffs, const std::vector< std::string > &vars, const std::map< std::vector< std::size_t >, std::size_t > &coefficient_index, const std::vector< std::size_t > &output_index, detail::RewriteBudget &budget, const std::string &operation)
DifferentialGeometryExprResult	LMCAS::anonymous_namespace{differential_geometry.cpp}::exterior_derivative_term (const std::vector< std::shared_ptr< SymbolicExpr > > &form_coeffs, const std::vector< std::string > &vars, const std::map< std::vector< std::size_t >, std::size_t > &coefficient_index, const std::vector< std::size_t > &output_index, std::size_t removed, detail::RewriteBudget &budget, const std::string &operation)
std::vector< std::vector< std::size_t > >	LMCAS::anonymous_namespace{differential_geometry.cpp}::index_combinations (std::size_t n, std::size_t k, std::size_t count)
DifferentialGeometryExprResult	LMCAS::lie_derivative_checked (const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::shared_ptr< SymbolicExpr > > &X, const std::vector< std::string > &vars, int order)
DifferentialGeometryExprResult	LMCAS::lie_derivative_checked (const std::shared_ptr< SymbolicExpr > &f, const std::vector< std::shared_ptr< SymbolicExpr > > &X, const std::vector< std::string > &vars, int order, ComputationContext &context)
static std::shared_ptr< SymbolicExpr >	LMCAS::lie_derivative_impl (const std::shared_ptr< SymbolicExpr > &, const std::vector< std::shared_ptr< SymbolicExpr > > &, const std::vector< std::string > &, int, ComputationContext &context)
DifferentialGeometryExprResult	LMCAS::metric_inverse_checked (const std::shared_ptr< SymbolicExpr > &g_ij)
DifferentialGeometryExprResult	LMCAS::metric_inverse_checked (const std::shared_ptr< SymbolicExpr > &g_ij, ComputationContext &context)
DifferentialGeometryExprResult	LMCAS::riemann_curvature_tensor_checked (const std::shared_ptr< SymbolicExpr > &g_ij, const std::vector< std::string > &coords, int rho, int sigma, int mu, int nu)
DifferentialGeometryExprResult	LMCAS::riemann_curvature_tensor_checked (const std::shared_ptr< SymbolicExpr > &g_ij, const std::vector< std::string > &coords, int rho, int sigma, int mu, int nu, ComputationContext &context)
static std::shared_ptr< SymbolicExpr >	LMCAS::riemann_curvature_tensor_with_inverse (const std::shared_ptr< SymbolicExpr > &g_ij, const std::shared_ptr< SymbolicExpr > &g_up_ij, const std::vector< std::string > &coords, int rho, int sigma, int mu, int nu, ComputationContext &context)
Result< void >	LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_expr_vector (const std::vector< std::shared_ptr< SymbolicExpr > > &values, const std::vector< std::string > &vars, const std::string &value_name, const std::string &operation)
Result< std::size_t >	LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_form_coefficients (const std::vector< std::shared_ptr< SymbolicExpr > > &form_coeffs, int degree, const std::vector< std::string > &vars, ComputationContext &context, const std::string &operation)
Result< void >	LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_form_coordinates (const std::vector< std::string > &vars, const std::string &operation)
Result< void >	LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_index (int idx, std::size_t dim, const std::string &name, const std::string &operation)
Result< std::shared_ptr< const MatrixNode > >	LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_metric_matrix (const std::shared_ptr< SymbolicExpr > &metric, const std::vector< std::string > *coords, ComputationContext &context, const std::string &operation)

详细描述

微分几何实现。

在文件 differential_geometry.cpp 中定义.