LMCAS
Lamina Computer Algebra System
Toggle main menu visibility
载入中...
搜索中...
未找到
symbolic_geometry_support.hpp
浏览该文件的文档.
1
#include "
computation_context.hpp
"
2
#pragma once
3
4
#include "
symbolic_geometry_line_plane.hpp
"
5
#include "
symbolic_geometry_quadric.hpp
"
6
7
namespace
LMCAS::geometry_detail
{
8
9
Result<void>
validate_symbolic_vector
(
10
const
std::vector<std::shared_ptr<SymbolicExpr>>& vector,
11
const
std::string&
name
,
12
const
std::string& operation);
13
14
Result<void>
validate_same_dimension_vectors
(
15
const
std::vector<std::shared_ptr<SymbolicExpr>>&
a
,
16
const
std::vector<std::shared_ptr<SymbolicExpr>>&
b
,
17
ComputationContext
&
context
,
18
const
std::string& operation);
19
20
Result<void>
validate_surface_point
(
21
const
SurfaceSymbolic
& surf,
22
const
std::vector<std::shared_ptr<SymbolicExpr>>&
point
,
23
ComputationContext
&
context
,
24
const
std::string& operation);
25
26
ExpressionResult
simplify_checked
(
27
const
std::shared_ptr<SymbolicExpr>& expr,
28
const
std::string& operation,
29
const
std::string& message,
ComputationContext
&
context
);
30
31
Result<double>
numeric_vector_scale_checked
(
32
const
std::vector<std::shared_ptr<SymbolicExpr>>&
expressions
,
33
ComputationContext
&
context
,
34
const
std::string& operation,
35
std::vector<double>* values =
nullptr
);
36
37
Result<void>
checked_nonzero_numeric_vector
(
38
const
std::vector<std::shared_ptr<SymbolicExpr>>&
expressions
,
39
ComputationContext
&
context
,
40
const
std::string& operation,
41
const
std::string& domain_message,
42
const
std::string& inconclusive_message);
43
44
Result<void>
checked_nonzero_numeric_or_exact
(
45
const
std::shared_ptr<SymbolicExpr>& expr,
46
ComputationContext
&
context
,
47
const
std::string& operation,
48
const
std::string& domain_message,
49
const
std::string& inconclusive_message);
50
51
Result<void>
validate_line_checked
(
const
LineSymbolic
& line,
52
ComputationContext
&
context
,
53
const
std::string& operation);
54
55
Result<void>
validate_plane_checked
(
const
PlaneSymbolic
&
plane
,
56
ComputationContext
&
context
,
57
const
std::string& operation);
58
59
}
LMCAS::ComputationContext
定义
computation_context.hpp:99
LMCAS::Result
定义
result.hpp:39
computation_context.hpp
LMCAS::geometry_detail
定义
symbolic_geometry_support.hpp:7
LMCAS::geometry_detail::numeric_vector_scale_checked
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)
定义
symbolic_geometry_support.cpp:108
LMCAS::geometry_detail::validate_plane_checked
Result< void > validate_plane_checked(const PlaneSymbolic &plane, ComputationContext &context, const std::string &operation)
定义
symbolic_geometry_support.cpp:246
LMCAS::geometry_detail::simplify_checked
ExpressionResult simplify_checked(const std::shared_ptr< SymbolicExpr > &expr, const std::string &operation, const std::string &message, ComputationContext &context)
定义
symbolic_geometry_support.cpp:82
LMCAS::geometry_detail::validate_symbolic_vector
Result< void > validate_symbolic_vector(const std::vector< std::shared_ptr< SymbolicExpr > > &vector, const std::string &name, const std::string &operation)
定义
symbolic_geometry_support.cpp:13
LMCAS::geometry_detail::validate_surface_point
Result< void > validate_surface_point(const SurfaceSymbolic &surf, const std::vector< std::shared_ptr< SymbolicExpr > > &point, ComputationContext &context, const std::string &operation)
定义
symbolic_geometry_support.cpp:50
LMCAS::geometry_detail::validate_line_checked
Result< void > validate_line_checked(const LineSymbolic &line, ComputationContext &context, const std::string &operation)
定义
symbolic_geometry_support.cpp:228
LMCAS::geometry_detail::checked_nonzero_numeric_or_exact
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)
定义
symbolic_geometry_support.cpp:177
LMCAS::geometry_detail::validate_same_dimension_vectors
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)
定义
symbolic_geometry_support.cpp:29
LMCAS::geometry_detail::checked_nonzero_numeric_vector
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)
定义
symbolic_geometry_support.cpp:153
LMCAS::point
const std::string const LimitExprPtr & point
定义
limit_result.hpp:29
LMCAS::plane
const PlaneSymbolic & plane
定义
symbolic_geometry_line_plane.hpp:52
LMCAS::context
const std::vector< Polynomial< BigInt > > const BigInt ComputationContext & context
定义
exact_factorization.hpp:65
LMCAS::b
const MultiPoly & b
定义
multivariate_factor.hpp:92
LMCAS::ExpressionResult
Result< std::shared_ptr< SymbolicExpr > > ExpressionResult
Result of an operation that produces a symbolic expression.
定义
symbolic.hpp:31
LMCAS::a
__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
定义
vector_calculus_curves.hpp:50
LMCAS::expressions
NumberDomainSet expressions()
定义
expr_number_domains.cpp:373
LMCAS::name
__attribute__((visibility("default"))) Result< EqvProfile > eqv_profile_from_name(const std const std::string & name
定义
equivalence_options.hpp:41
LMCAS::SurfaceSymbolic
隐式曲面 F(x,y,z) = 0。
定义
symbolic_geometry_quadric.hpp:7
LMCAS::LineSymbolic
由一点和方向向量定义的符号直线。
定义
symbolic_geometry_line_plane.hpp:7
LMCAS::PlaneSymbolic
由法向量和常数 d 定义的符号平面 ax + by + cz = d。
定义
symbolic_geometry_line_plane.hpp:15
symbolic_geometry_line_plane.hpp
symbolic_geometry_quadric.hpp
src
internal
symbolic_geometry_support.hpp
生成于
, 为 LMCAS使用
1.18.0