LMCAS
Lamina Computer Algebra System
Toggle main menu visibility
载入中...
搜索中...
未找到
这里列出了所有类成员,并附带类的详细说明:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
_
~
- r -
R :
LMCAS::QRDecomposition
r :
LMCAS::polynomial_solver_detail::SymbolicQuarticDepression
radical() :
LMCAS::Irrational::EnclosureRound
radical_coefficient :
LMCAS::ComparableEndpoint
,
LMCAS::detail::ComparableEndpoint
radical_radicand() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
radical_radicands_ :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
radical_square() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
radical_squares_ :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
radicals :
LMCAS::Irrational::EnclosureRound
radicand :
LMCAS::ComparableEndpoint
,
LMCAS::detail::ComparableEndpoint
rank :
LMCAS::detail::EliminationResult
rate :
LMCAS::transform_detail::GaussianMatch
rational() :
LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
,
LMCAS::ComparableEndpoint
,
LMCAS::detail::ComparableEndpoint
rational_bounds() :
LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation
rational_endpoint_bound() :
LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation
RationalLiteral() :
LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
re :
LMCAS::ode_root_detail::Complex
read_digits() :
LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
read_exponent() :
LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
read_exponent_magnitude() :
LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
read_length() :
LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
read_repeating_digits() :
LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
read_sign() :
LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
Reader() :
LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
real :
LMCAS::ApproxComplex
,
LMCAS::ComplexNode
,
LMCAS::ComplexSymbolic
,
LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::CartesianNodes
,
LMCAS::detail::anonymous_namespace{facts_query.cpp}::ValueFacts
,
LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::ComplexBivariate
,
LMCAS::detail::complex_root::CoordinateProjections
,
LMCAS::detail::QuadraticCartesianRoot
,
LMCAS::equivalence_detail::anonymous_namespace{equivalence_complex.cpp}::ComplexProduct
real_ :
LMCAS::ComplexNode
real_bands :
LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::ProjectionGrid
real_defined() :
LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference
real_definedness() :
LMCAS::InferenceEngine::Impl
real_lower :
LMCAS::detail::complex_root::RationalRectangle
,
LMCAS::detail::ComplexIsolation
real_or_integer() :
LMCAS::InferenceEngine::Impl
real_part :
LMCAS::ode_root_detail::CharRoot
real_projection :
LMCAS::detail::ComplexIsolation
real_roots :
LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::ProjectionGrid
real_upper :
LMCAS::detail::complex_root::RationalRectangle
,
LMCAS::detail::ComplexIsolation
real_valued :
LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodEvidence
real_valued_function() :
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
RealPrimitiveCandidate() :
LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::RealPrimitiveCandidate
reason :
LMCAS::MathResult< T >
Recursion() :
LMCAS::serialization_detail::Recursion
recursion_depth() :
LMCAS::ComputationContext
recursion_depth_ :
LMCAS::ComputationContext
RecursionFrame() :
LMCAS::anonymous_namespace{symbolic_gcd.cpp}::RecursionFrame
RecursionScope() :
LMCAS::anonymous_namespace{numeric_evaluation.cpp}::RecursionScope
,
LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::RecursionScope
reduce_basis() :
LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver
reduce_radicals() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
refine_sign() :
LMCAS::Irrational::EnclosureRound
register_atom() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
register_canonical_radical() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
register_new_atom() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
register_regular_atom() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
register_replacement() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
relation() :
LMCAS::AssumptionDecl
,
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
relation_rhs_nonnegative() :
LMCAS::InferenceEngine::Impl
relational() :
LMCAS::expr_detail::ExprParser
,
LMCAS::ExprParser
RelationalNode() :
LMCAS::RelationalNode
relative_tolerance :
LMCAS::detail::NumericEvaluationOptions
remainder :
LMCAS::detail::IntegralParts
,
LMCAS::RationalRootReconstruction
remaining :
LMCAS::ZcFactorSearch
remaining_steps_ :
LMCAS::detail::RewriteBudget
remember() :
LMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement
,
LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentFacts
remember_angle() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
repeated_factor :
LMCAS::TfSquareFreeResult
repeating_digits :
LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
replace() :
LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::SubstNodeVisitor
replacement_ :
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
replacement_free_ :
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
represent_as_aux_or_fail() :
LMCAS::groebner_detail::PolyBuilder
require() :
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
,
LMCAS::detail::ExactBoundArithmetic
require_ast_nodes() :
LMCAS::ComputationContext
require_bits() :
LMCAS::detail::RewriteBudget::Measurement
require_compatible_variables() :
LMCAS::Polynomial< CoeffType >
require_expansion_terms() :
LMCAS::ComputationContext
require_input_bytes() :
LMCAS::ComputationContext
require_integer_bits() :
LMCAS::ComputationContext
require_nodes() :
LMCAS::detail::RewriteBudget
require_same_modulus() :
LMCAS::ModInt
require_shape() :
LMCAS::detail::RewriteBudget
resample_endpoints() :
LMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}::RootIsolation
,
LMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement
residual :
LMCAS::NumericRoot
ResidualBranch() :
LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualBranch
ResidualRecursionScope() :
LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualRecursionScope
residue :
LMCAS::LaurentResult
restricted_argument() :
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
restricted_function() :
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
Result() :
LMCAS::Result< T >
,
LMCAS::Result< void >
result :
LMCAS::ConvergenceInfo
,
LMCAS::detail::IntegrationEntry
,
LMCAS::DifferentiationVisitor
,
LMCAS::ExpandVisitor
,
LMCAS::groebner_detail::PolyBuilder
,
LMCAS::NormalizationVisitor
,
LMCAS::RewriteVisitor
result_ :
LMCAS::anonymous_namespace{transcendental_rewrite.cpp}::FactorSimplification
,
LMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}::RootIsolation
,
LMCAS::detail::SymbolicRewriter
return_rootof :
LMCAS::SolveOptions
reversed :
LMCAS::anonymous_namespace{integration_definite.cpp}::DefiniteInterval
rewrite() :
LMCAS::detail::SymbolicRewriter
rewrite_absolute() :
LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter
rewrite_budget() :
LMCAS::detail::SymbolicVisitor
rewrite_budget_ :
LMCAS::detail::SymbolicVisitor
rewrite_child() :
LMCAS::detail::SymbolicRewriter
rewrite_children() :
LMCAS::detail::SymbolicRewriter
rewrite_function() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
rewrite_radical() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
rewrite_scoped() :
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
rewrite_square_absolute() :
LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter
RewriteBudget() :
LMCAS::detail::RewriteBudget
RewriteBudgetTestAccess :
LMCAS::detail::RewriteBudget
RewriteScope() :
LMCAS::detail::RewriteScope
RewriteVisitor() :
LMCAS::RewriteVisitor
rhs :
LMCAS::detail::transcendental::ExpBasePattern
,
LMCAS::detail::transcendental::InversePattern
,
LMCAS::detail::transcendental::LambertWPattern
,
LMCAS::Relation
right() :
LMCAS::LogicalNode
,
LMCAS::RelationalNode
right_ :
LMCAS::LogicalNode
,
LMCAS::RelationalNode
roc :
LMCAS::EvaluatedTransform
root() :
LMCAS::detail::NumericEvaluator
,
LMCAS::SymbolicExpr::Impl
root_at() :
LMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement
root_facts() :
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
root_index :
LMCAS::detail::ExactRealAlgebraic
root_of() :
LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
RootIsolation() :
LMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}::RootIsolation
RootOfNode() :
LMCAS::RootOfNode
RootRefinement() :
LMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement
roots :
LMCAS::detail::anonymous_namespace{complex_root_isolation.cpp}::RootIsolationCacheEntry
roots_ :
LMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}::MixedRootCollection
row_swaps :
LMCAS::detail::EliminationResult
rows :
LMCAS::detail::ExactMatrixData
,
LMCAS::MatrixNode
rows_ :
LMCAS::fglm_detail::GaussianEliminator
,
LMCAS::MatrixNode
run() :
LMCAS::anonymous_namespace{transcendental_rewrite.cpp}::FactorSimplification
,
LMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}::RootIsolation
生成于
, 为 LMCAS使用
1.18.0