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
_
~
- c -
cached_hash :
LMCAS::SymbolicNode
can_combine_nested_power() :
LMCAS::NormalizationVisitor
cancel() :
LMCAS::CancellationToken
cancellation() :
LMCAS::ComputationContext
cancellation_ :
LMCAS::ComputationContext
CancellationToken() :
LMCAS::CancellationToken
cancelled_ :
LMCAS::CancellationToken
canonical_atoms_ :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
canonical_nodes_ :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
canonicalize() :
LMCAS::FiniteSetNode
cases :
LMCAS::PiecewiseSolution
certificate :
LMCAS::FrobeniusSolution
,
LMCAS::ODESolution
,
LMCAS::ProvedZeroResidual
,
LMCAS::Verified< T >
changed :
LMCAS::RelationStore::TransitiveWork
,
LMCAS::RewriteVisitor
check_access() :
LMCAS::ComputationContext
check_child_count() :
LMCAS::ExpandVisitor
check_constant_factor() :
LMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}::MixedRootCollection
check_integer_digits() :
LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
check_step_access() :
LMCAS::detail::RewriteBudget
checked() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
,
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
choice() :
LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
classification() :
LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::QuadraticSigns
,
LMCAS::CriticalPoint
classified_reality :
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::ArithmeticReduction
clone() :
LMCAS::AddNode
,
LMCAS::ComplexNode
,
LMCAS::FiniteSetNode
,
LMCAS::FunctionNode
,
LMCAS::IntegralNode
,
LMCAS::IntervalNode
,
LMCAS::LimitNode
,
LMCAS::LogicalNode
,
LMCAS::MatrixNode
,
LMCAS::MembershipNode
,
LMCAS::MultiplyNode
,
LMCAS::NumberNode
,
LMCAS::PiecewiseNode
,
LMCAS::PowerNode
,
LMCAS::ProductNode
,
LMCAS::QuantifierNode
,
LMCAS::QuantityNode
,
LMCAS::RelationalNode
,
LMCAS::RootOfNode
,
LMCAS::SetBuilderNode
,
LMCAS::SummationNode
,
LMCAS::SymbolicNode
,
LMCAS::TransformNode
,
LMCAS::UninterpretedFunctionNode
,
LMCAS::VariableNode
cmp_ :
LMCAS::fglm_detail::MonomialEnumerator
code :
LMCAS::CasError
coeff :
LMCAS::groebner_detail::Term
coefficient() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
,
LMCAS::detail::transcendental::anonymous_namespace{transcendental_patterns.cpp}::ScaledFunction
,
LMCAS::detail::transcendental::InversePattern
,
LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::TrigSquare
,
LMCAS::transform_detail::GaussianMatch
,
LMCAS::TrigSquare
coefficient_scale :
LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::SymmetricEigen3
coefficients :
LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::BiPolynomial
coeffs :
LMCAS::Polynomial< CoeffType >
collect() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
collect_exact_factors() :
LMCAS::anonymous_namespace{expr_serialization.cpp}::Writer
collect_expanded_product() :
LMCAS::NormalizationVisitor
collect_integer_power() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
collect_names() :
LMCAS::detail::AssumptionFacts
collect_node_exponent() :
LMCAS::InferenceEngine::Impl
collect_operands() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
collect_period() :
LMCAS::anonymous_namespace{mixed_transcendental_search.cpp}::PeriodicCollector
collect_power_exponents() :
LMCAS::InferenceEngine::Impl
collect_product() :
LMCAS::NormalizationVisitor
collect_sum() :
LMCAS::NormalizationVisitor
collect_variables() :
LMCAS::anonymous_namespace{normalization_products.cpp}::ProductAccumulator
cols :
LMCAS::detail::ExactMatrixData
,
LMCAS::MatrixNode
cols_ :
LMCAS::MatrixNode
combinations_ :
LMCAS::fglm_detail::GaussianEliminator
combine() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
commit_step() :
LMCAS::detail::RewriteBudget
ComparableEndpoint() :
LMCAS::ComparableEndpoint
,
LMCAS::detail::ComparableEndpoint
compare() :
LMCAS::detail::ExactRootId
,
LMCAS::SymbolicNode
compare_deglex() :
LMCAS::MonomialOrder
compare_grevlex() :
LMCAS::MonomialOrder
compare_lex() :
LMCAS::MonomialOrder
compare_operands() :
LMCAS::MultiplyNode
compare_same_type() :
LMCAS::AddNode
,
LMCAS::ComplexNode
,
LMCAS::FiniteSetNode
,
LMCAS::FunctionNode
,
LMCAS::IntegralNode
,
LMCAS::IntervalNode
,
LMCAS::LimitNode
,
LMCAS::LogicalNode
,
LMCAS::MatrixNode
,
LMCAS::MembershipNode
,
LMCAS::MultiplyNode
,
LMCAS::NumberNode
,
LMCAS::PiecewiseNode
,
LMCAS::PowerNode
,
LMCAS::ProductNode
,
LMCAS::QuantifierNode
,
LMCAS::QuantityNode
,
LMCAS::RelationalNode
,
LMCAS::RootOfNode
,
LMCAS::SetBuilderNode
,
LMCAS::SummationNode
,
LMCAS::SymbolicNode
,
LMCAS::TransformNode
,
LMCAS::UninterpretedFunctionNode
,
LMCAS::VariableNode
complete_ :
LMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}::MixedRootCollection
completeness :
LMCAS::MathResult< T >
Complex() :
LMCAS::ode_root_detail::Complex
complex_facts() :
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
ComplexNode() :
LMCAS::ComplexNode
ComplexPuncturedFacts() :
LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts
components :
LMCAS::SquareFreeDecomp
composite_integer() :
LMCAS::InferenceEngine::Impl
composite_negative() :
LMCAS::InferenceEngine::Impl
composite_nonnegative() :
LMCAS::InferenceEngine::Impl
composite_nonpositive() :
LMCAS::InferenceEngine::Impl
composite_nonzero() :
LMCAS::InferenceEngine::Impl
composite_positive() :
LMCAS::InferenceEngine::Impl
composite_real() :
LMCAS::InferenceEngine::Impl
compound_node() :
LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
computation :
LMCAS::assumption_detail::AssumptionParser
ComputationContext() :
LMCAS::ComputationContext
compute_hash() :
LMCAS::AddNode
,
LMCAS::ComplexNode
,
LMCAS::FiniteSetNode
,
LMCAS::FunctionNode
,
LMCAS::IntegralNode
,
LMCAS::IntervalNode
,
LMCAS::LimitNode
,
LMCAS::LogicalNode
,
LMCAS::MatrixNode
,
LMCAS::MembershipNode
,
LMCAS::MultiplyNode
,
LMCAS::NumberNode
,
LMCAS::PiecewiseNode
,
LMCAS::PowerNode
,
LMCAS::ProductNode
,
LMCAS::QuantifierNode
,
LMCAS::QuantityNode
,
LMCAS::RelationalNode
,
LMCAS::RootOfNode
,
LMCAS::SetBuilderNode
,
LMCAS::SummationNode
,
LMCAS::SymbolicNode
,
LMCAS::TransformNode
,
LMCAS::UninterpretedFunctionNode
,
LMCAS::VariableNode
condition :
LMCAS::detail::IntegrationEntry
,
LMCAS::PiecewiseNode::Branch
,
LMCAS::PiecewiseSolution::Case
condition_nodes_ :
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
conditions :
LMCAS::ConditionSet
,
LMCAS::CriticalPoint
,
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
,
LMCAS::EvaluatedTransform
,
LMCAS::FiniteSolution
,
LMCAS::IntervalSolution
,
LMCAS::ParametricSolution
confirmed :
LMCAS::IsolatedInterval
const_coeffs :
LMCAS::ODEClassification
constant() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
,
LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::CenteredQuadric
,
LMCAS::Irrational::EnclosureRound
,
LMCAS::MultiFactorResult
constant_ :
LMCAS::anonymous_namespace{normalization_products.cpp}::ProductAccumulator
,
LMCAS::anonymous_namespace{transcendental_rewrite.cpp}::FactorSimplification
,
LMCAS::VariableNode
constants :
LMCAS::ODESolution
constraints :
LMCAS::TransSubstitutionResult
consume() :
LMCAS::detail::RewriteBudget
consume_steps() :
LMCAS::ComputationContext
Consumer :
LMCAS::DiagnosticEngine
consumer_ :
LMCAS::DiagnosticEngine
contains() :
LMCAS::FiniteSetNode
contains_matrix() :
LMCAS::MultiplyNode
content() :
LMCAS::Polynomial< CoeffType >
context :
LMCAS::anonymous_namespace{limit_result.cpp}::ComplexContinuityPoint
,
LMCAS::anonymous_namespace{multivariate_factor_checked.cpp}::FactorRecursionGuard
,
LMCAS::anonymous_namespace{newton_raphson.cpp}::RootCallbacks
,
LMCAS::anonymous_namespace{numerical_integration.cpp}::QuadratureCallback
,
LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::SolutionFinalizer
,
LMCAS::detail::RewriteBudget
,
LMCAS::Irrational::EnclosureRound
,
LMCAS::multivariate_checked_detail::LinearSamples
,
LMCAS::RewriteVisitor
,
LMCAS::ZcFactorSearch
context_ :
LMCAS::anonymous_namespace{expr_serialization.cpp}::Writer
,
LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
,
LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation
,
LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference
,
LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter
,
LMCAS::anonymous_namespace{numeric_evaluation.cpp}::RecursionScope
,
LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver
,
LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::RecursionScope
,
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
,
LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualRecursionScope
,
LMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}::MixedRootCollection
,
LMCAS::anonymous_namespace{solver_groebner_system.cpp}::PolynomialSystemSearch
,
LMCAS::anonymous_namespace{symbolic_gcd.cpp}::RecursionFrame
,
LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
,
LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}::MeasurementRecursion
,
LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::RealPrimitiveCandidate
,
LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression
,
LMCAS::detail::ExactBoundArithmetic
,
LMCAS::detail::NumericEvaluator
,
LMCAS::detail::RewriteBudget
,
LMCAS::NormalizationVisitor
,
LMCAS::serialization_detail::Recursion
convert() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
convert_integer_power() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
convert_number() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
convert_operands() :
LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
count() :
LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
,
LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::PendingInterval
,
LMCAS::detail::complex_root::RectangleCount
create_add() :
LMCAS::SymbolicFactory
create_complex() :
LMCAS::SymbolicFactory
create_multiply() :
LMCAS::SymbolicFactory
create_number() :
LMCAS::SymbolicFactory
create_power() :
LMCAS::SymbolicFactory
create_storage_from_grid() :
LMCAS::MatrixNode
create_variable() :
LMCAS::SymbolicFactory
ctx :
LMCAS::assumption_detail::AssumptionParser
,
LMCAS::InferenceEngine::Impl
current() :
LMCAS::detail::SymbolicRewriter
current_ :
LMCAS::detail::SymbolicRewriter
current_depth :
LMCAS::detail::SymbolicVisitor
,
LMCAS::InferenceEngine::Impl
current_scope :
LMCAS::assumption_detail::AssumptionParser
生成于
, 为 LMCAS使用
1.18.0