LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
symbolic_geometry_support.hpp
浏览该文件的文档.
2#pragma once
3
6
8
10 const std::vector<std::shared_ptr<SymbolicExpr>>& vector,
11 const std::string& name,
12 const std::string& operation);
13
15 const std::vector<std::shared_ptr<SymbolicExpr>>& a,
16 const std::vector<std::shared_ptr<SymbolicExpr>>& b,
18 const std::string& operation);
19
21 const SurfaceSymbolic& surf,
22 const std::vector<std::shared_ptr<SymbolicExpr>>& point,
24 const std::string& operation);
25
27 const std::shared_ptr<SymbolicExpr>& expr,
28 const std::string& operation,
29 const std::string& message, ComputationContext& context);
30
32 const std::vector<std::shared_ptr<SymbolicExpr>>& expressions,
34 const std::string& operation,
35 std::vector<double>* values = nullptr);
36
38 const std::vector<std::shared_ptr<SymbolicExpr>>& expressions,
40 const std::string& operation,
41 const std::string& domain_message,
42 const std::string& inconclusive_message);
43
45 const std::shared_ptr<SymbolicExpr>& expr,
47 const std::string& operation,
48 const std::string& domain_message,
49 const std::string& inconclusive_message);
50
53 const std::string& operation);
54
57 const std::string& operation);
58
59}
Result< double > numeric_vector_scale_checked(const std::vector< std::shared_ptr< SymbolicExpr > > &expressions, ComputationContext &context, const std::string &operation, std::vector< double > *values=nullptr)
Result< void > validate_plane_checked(const PlaneSymbolic &plane, ComputationContext &context, const std::string &operation)
ExpressionResult simplify_checked(const std::shared_ptr< SymbolicExpr > &expr, const std::string &operation, const std::string &message, ComputationContext &context)
Result< void > validate_symbolic_vector(const std::vector< std::shared_ptr< SymbolicExpr > > &vector, const std::string &name, const std::string &operation)
Result< void > validate_surface_point(const SurfaceSymbolic &surf, const std::vector< std::shared_ptr< SymbolicExpr > > &point, ComputationContext &context, const std::string &operation)
Result< void > validate_line_checked(const LineSymbolic &line, ComputationContext &context, const std::string &operation)
Result< void > checked_nonzero_numeric_or_exact(const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context, const std::string &operation, const std::string &domain_message, const std::string &inconclusive_message)
Result< void > validate_same_dimension_vectors(const std::vector< std::shared_ptr< SymbolicExpr > > &a, const std::vector< std::shared_ptr< SymbolicExpr > > &b, ComputationContext &context, const std::string &operation)
Result< void > checked_nonzero_numeric_vector(const std::vector< std::shared_ptr< SymbolicExpr > > &expressions, ComputationContext &context, const std::string &operation, const std::string &domain_message, const std::string &inconclusive_message)
const std::string const LimitExprPtr & point
const PlaneSymbolic & plane
const std::vector< Polynomial< BigInt > > const BigInt ComputationContext & context
const MultiPoly & b
Result< std::shared_ptr< SymbolicExpr > > ExpressionResult
Result of an operation that produces a symbolic expression.
__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
NumberDomainSet expressions()
__attribute__((visibility("default"))) Result< EqvProfile > eqv_profile_from_name(const std const std::string & name
由一点和方向向量定义的符号直线。
由法向量和常数 d 定义的符号平面 ax + by + cz = d。