| CLMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader | |
| CLMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::ExactInequalityRoot | |
| CLMCAS::anonymous_namespace{inequality_solver_rational.cpp}::CriticalPoint | |
| CLMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation | |
| CLMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodEvidence | |
| CLMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference | |
| CLMCAS::anonymous_namespace{integration_definite.cpp}::DefiniteInterval | |
| CLMCAS::anonymous_namespace{integration_definite.cpp}::RationalIntegrand | |
| CLMCAS::anonymous_namespace{integration_substitution.cpp}::LinearWrapper | |
| CLMCAS::anonymous_namespace{integration_trig_substitution.cpp}::QuadRadical | |
| CLMCAS::anonymous_namespace{limit_result.cpp}::ComplexContinuityPoint | |
| CLMCAS::anonymous_namespace{matrix_decomposition.cpp}::NormSum | |
| CLMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::QuadraticSigns | |
| CLMCAS::anonymous_namespace{multivariate_factor_checked.cpp}::FactorRecursionGuard | |
| CLMCAS::anonymous_namespace{newton_raphson.cpp}::RootCallbacks | |
| CLMCAS::anonymous_namespace{normalization_products.cpp}::FactorAccum | |
| CLMCAS::anonymous_namespace{normalization_products.cpp}::ProductAccumulator | |
| CLMCAS::anonymous_namespace{numeric_evaluation.cpp}::RecursionScope | |
| CLMCAS::anonymous_namespace{numerical_integration.cpp}::NormalizedInterval | |
| CLMCAS::anonymous_namespace{numerical_integration.cpp}::QuadratureCallback | |
| CLMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver | |
| CLMCAS::anonymous_namespace{quantity.cpp}::QuantityView | |
| CLMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral | |
| CLMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::RecursionScope | |
| CLMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual | 在原公共定义域上证明形式有理恒等式。 将不透明标量子式视为不定元，保留其点值可能为零的情况； 交叉相乘免去因式分解及符号系数 GCD。 |
| CLMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::Angle | |
| CLMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::Fraction | |
| CLMCAS::anonymous_namespace{residual_verification.cpp}::ResidualProfiles | |
| CLMCAS::anonymous_namespace{residual_verification.cpp}::ResidualRecursionScope | |
| CLMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}::MixedRootCollection | |
| CLMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}::MixedRootCollection::SymbolicRoot | |
| CLMCAS::anonymous_namespace{solve_solution_finalization.cpp}::SolutionFinalizer | |
| CLMCAS::anonymous_namespace{solver_groebner_system.cpp}::PolynomialSystemSearch | |
| CLMCAS::anonymous_namespace{symbolic_cancel.cpp}::CancellationFraction | |
| CLMCAS::anonymous_namespace{symbolic_gcd.cpp}::RecursionFrame | |
| CLMCAS::anonymous_namespace{transcendental_rewrite.cpp}::FactorSimplification | |
| CLMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::SubstNodeVisitor | |
| CLMCAS::ApproxComplex | |
| CLMCAS::ApproxReal | |
| CLMCAS::assumption_detail::anonymous_namespace{assumption_parse_relations.cpp}::TopLevelToken | |
| CLMCAS::assumption_detail::AssumptionParser | |
| CLMCAS::AssumptionContext::RelationShadowing | |
| CLMCAS::AssumptionDecl | Declaration of an assumption to apply within a with_assumptions block |
| CLMCAS::AssumptionDecl::DomainDeclaration | |
| CLMCAS::AssumptionDecl::SignDeclaration | |
| CLMCAS::AsymptoteResult | 根据左右极限与函数值，在给定上下文假设下证明实数域中的连续性分类。 跳跃与可去间断的比较需证明逐点不等，相等性需保证各值有定义；形式非恒等不足以证明二者。 参数值或有定义性未确定时返回 Inconclusive；资源、取消和底层证明错误原样传播，不作为分类。 |
| CLMCAS::BerlekampResult | Berlekamp 分解结果。 |
| CLMCAS::Binding | |
| CLMCAS::ByConstructionProof | |
| CLMCAS::CacheKey | 由表达式结构哈希、属性和自变量组成缓存键。 |
| CLMCAS::CacheKeyHash | 缓存键哈希，计入周期查询的自变量。 |
| CLMCAS::CancellationToken | |
| CLMCAS::CasError | |
| CLMCAS::CheckedInterval | |
| CLMCAS::CholeskyDecomposition | |
| CLMCAS::ComparableEndpoint | |
| CLMCAS::ComplexSymbolic | 符号复数，由实部和虚部组成 |
| CLMCAS::ComputationContext | |
| CLMCAS::ConditionalSolutions | |
| CLMCAS::ConditionSet | |
| CLMCAS::ConvergenceInfo | 收敛性判定信息 |
| CLMCAS::CriticalPoint | 临界点的坐标、分类及成立条件。 |
| CLMCAS::detail::AffineForm | |
| CLMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::CartesianNodes | |
| CLMCAS::detail::anonymous_namespace{complex_root_isolation.cpp}::RootIsolationCacheEntry | |
| CLMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::DyadicProposal | |
| CLMCAS::detail::anonymous_namespace{exact_sturm.cpp}::PendingInterval | |
| CLMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal | |
| CLMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::ArithmeticReduction | |
| CLMCAS::detail::anonymous_namespace{facts_query.cpp}::ValueFacts | |
| CLMCAS::detail::anonymous_namespace{lmmc_lifecycle.cpp}::LmmcLifecycle | |
| CLMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}::RootIsolation | |
| CLMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}::SampledInterval | |
| CLMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement | |
| CLMCAS::detail::anonymous_namespace{numeric_evaluation_power.cpp}::ExponentParity | |
| CLMCAS::detail::anonymous_namespace{rewrite_budget.cpp}::MeasurementRecursion | |
| CLMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::CenteredQuadric | |
| CLMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::SymmetricEigen3 | |
| CLMCAS::detail::BinderView | |
| CLMCAS::detail::CheckedInterval | |
| CLMCAS::detail::ComparableEndpoint | |
| CLMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::BiPolynomial | |
| CLMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::ComplexBivariate | |
| CLMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::ProjectionGrid | |
| CLMCAS::detail::complex_root::CoordinateProjections | |
| CLMCAS::detail::complex_root::RationalRectangle | |
| CLMCAS::detail::complex_root::RectangleCount | |
| CLMCAS::detail::ComplexIsolation | |
| CLMCAS::detail::definite::Boundary | |
| CLMCAS::detail::definite::RationalFunction | |
| CLMCAS::detail::EliminationResult | |
| CLMCAS::detail::ExactBoundArithmetic | 常数及根式包围区间共用的内部算术策略。 保守界覆盖未约分 Rational 的交叉乘积及结果；受检入口统一捕获 CasError，仅返回完整结果。 |
| CLMCAS::detail::ExactMatrixData | |
| CLMCAS::detail::ExactRealAlgebraic | |
| CLMCAS::detail::ExactRootId | |
| CLMCAS::detail::InconsistentLinearSolution | |
| CLMCAS::detail::IntegralParts | |
| CLMCAS::detail::IntegrationEntry | |
| CLMCAS::detail::NumericEvaluationOptions | |
| CLMCAS::detail::NumericEvaluator | |
| CLMCAS::detail::ParametricLinearSolution | |
| CLMCAS::detail::QuadraticCartesianRoot | |
| CLMCAS::detail::RealIsolation | |
| CLMCAS::detail::RewriteBudget | |
| CLMCAS::detail::RewriteBudget::Entry | |
| CLMCAS::detail::RewriteBudget::Shape | |
| CLMCAS::detail::RewriteScope | |
| CLMCAS::detail::SymbolicExprAccess | |
| CLMCAS::detail::SymbolicVisitor | |
| CLMCAS::DifferentiationVisitor | |
| CLMCAS::ExpandVisitor | |
| CLMCAS::NormalizationVisitor | 统一规范化数值幂。 精确操作数保留整数和有理数运算；近似求根要求指数精确等于 1/2。 有限浮点幂直接折叠，省去倒数中间值；非有限结果保留幂表达式。 |
| CLMCAS::RewriteVisitor | |
| CLMCAS::anonymous_namespace{expr_serialization.cpp}::Writer | |
| CLMCAS::detail::RecursiveSymbolicVisitor | |
| CLMCAS::anonymous_namespace{complex_analysis.cpp}::ExplicitComplexFinder | |
| CLMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder | |
| CLMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionOfExplicitComplexFinder | |
| CLMCAS::anonymous_namespace{expression_analysis.cpp}::AllNameCollector | |
| CLMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableCollector | |
| CLMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder | |
| CLMCAS::anonymous_namespace{mixed_transcendental_classification.cpp}::TranscendentalDetector | |
| CLMCAS::anonymous_namespace{mixed_transcendental_search.cpp}::PeriodicCollector | |
| CLMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::AngleCollector | |
| CLMCAS::detail::NodeTypeDetector< Node > | |
| CLMCAS::detail::RewriteBudget::Measurement | |
| CLMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor | 检查表达式树中的虚数分量。 |
| CLMCAS::detail::SymbolicRewriter | |
| CLMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution | |
| CLMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter | |
| CLMCAS::anonymous_namespace{residual_verification.cpp}::ResidualBranch | |
| CLMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::RealPrimitiveCandidate | |
| CLMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression | 在已认证开区间上进行恒等改写，保留对数分支。 对数分支变更仅由独立的原函数候选生成器处理。 |
| CLMCAS::groebner_detail::PolyBuilder | |
| CLMCAS::detail::SymbolicVisitor::DepthGuard | |
| CLMCAS::detail::transcendental::anonymous_namespace{transcendental_patterns.cpp}::ScaledFunction | |
| CLMCAS::detail::transcendental::ExpBasePattern | |
| CLMCAS::detail::transcendental::InversePattern | |
| CLMCAS::detail::transcendental::LambertWPattern | |
| CLMCAS::detail::UniqueLinearSolution | |
| CLMCAS::Diagnostic | |
| CLMCAS::DiagnosticEngine | |
| CLMCAS::EmptySolutions | |
| CLMCAS::equivalence_detail::anonymous_namespace{equivalence_complex.cpp}::ComplexProduct | |
| CLMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::TrigSquare | |
| CLMCAS::EqvBudget | 各限额均为非零值；深度与规模在重写运行中检查，超限返回 ResourceLimit。 |
| CLMCAS::EqvOptions | |
| CLMCAS::EvaluatedTransform | 受检变换成功时返回在 conditions 和收敛域 roc 条件下有效的已求值表达式。 支持性未决或收敛条件无法表示时，返回外层 Inconclusive 错误。 |
| CLMCAS::ExactNormalizationProof | |
| CLMCAS::ExactResidualProof | |
| CLMCAS::ExactRoundTripProof | |
| CLMCAS::expr_detail::ExprParser | |
| CLMCAS::ExprMatch | |
| CLMCAS::ExprMatchBinding | |
| CLMCAS::ExprParser | |
| CLMCAS::FactsQuery | |
| CLMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts | |
| CLMCAS::detail::AssumptionFacts | |
| CLMCAS::detail::ScopedFacts | 为绑定体提供词法作用域，隔离同名自由变量的外层事实。 无关表达式继续借用外层事实及其关系推论；栈上视图串联保留嵌套作用域。 |
| CLMCAS::detail::anonymous_namespace{facts_query_adapters.cpp}::NoFacts | |
| CLMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentFacts | |
| CLMCAS::fglm_detail::GaussianEliminator | |
| CLMCAS::fglm_detail::MonomialEnumerator | |
| CLMCAS::fglm_detail::MonomialEnumerator::HeapCmp | |
| CLMCAS::FiniteLimit | 已证在请求的实数或复数域内有定义的有限值。 表达式树中所有极限均已求定，扩展实数运算均有确定结果。 |
| CLMCAS::FiniteSolution | Conditions 是在操作上下文假设下须同时满足的条件。 空条件保留原表达式定义域且不增加约束；整数参数遍历全体整数。 |
| CLMCAS::FiniteSolutions | |
| CLMCAS::FourierPeriod | |
| CLMCAS::FrobeniusSolution | Frobenius 级数解结果 |
| CLMCAS::GcdSamples | |
| CLMCAS::groebner_detail::MonomialLess | |
| CLMCAS::groebner_detail::Poly | |
| CLMCAS::groebner_detail::PolyContext | |
| CLMCAS::groebner_detail::SugarPair | |
| CLMCAS::groebner_detail::Term | |
| CLMCAS::HenselLiftPair | 二因子二次 Hensel 提升的状态结构 |
| CLMCAS::InferenceEngine::DepthGuard | |
| CLMCAS::InferenceEngine::Impl | |
| CLMCAS::IntegrationStep | |
| CLMCAS::IntervalSolution | |
| CLMCAS::IntervalSolutions | |
| CLMCAS::Irrational::EnclosureRound | |
| CLMCAS::IsolatedInterval | 隔离子区间,包含至多一个根 |
| CLMCAS::JordanDecomposition | |
| CLMCAS::LaurentResult | 洛朗级数展开结果 |
| CLMCAS::LimitDoesNotExist | |
| CLMCAS::LineSymbolic | 由一点和方向向量定义的符号直线。 |
| CLMCAS::LUDecomposition | |
| CLMCAS::MathResult< T > | |
| CLMCAS::MatrixInconsistentLinearSolution | |
| CLMCAS::MatrixParametricLinearSolution | |
| CLMCAS::MatrixUniqueLinearSolution | |
| CLMCAS::ModInt | 模整数类，封装模 p 下的算术运算 |
| CLMCAS::MonomialOrder | 单项式序比较器，支持 Lex、GrevLex、DegLex、DegRevLex |
| CLMCAS::MultiFactorResult | 多元因式分解结果 |
| CLMCAS::multivariate_checked_detail::LinearAssignments | |
| CLMCAS::multivariate_checked_detail::LinearSamples | |
| CLMCAS::NegativeInfinityLimit | |
| CLMCAS::NodeCompare | |
| CLMCAS::NodeEqual | |
| CLMCAS::NodeHash | |
| CLMCAS::NodeLess | |
| CLMCAS::NumericRoot | 数值根结果,包含根值,残差和迭代次数 |
| CLMCAS::ode_root_detail::CharRoot | |
| CLMCAS::ode_root_detail::Complex | |
| CLMCAS::ODEClassification | ODE 分类结果,包含类型及提取的结构信息 |
| CLMCAS::ODESolution | ODE 求解结果 |
| CLMCAS::OdeTaylorCoefficients | |
| CLMCAS::ParametricSolution | |
| CLMCAS::ParametricSolutions | |
| CLMCAS::PiecewiseNode::Branch | |
| CLMCAS::PiecewiseSolution | 含参方程组的分段解，按参数条件分类 |
| CLMCAS::PiecewiseSolution::Case | 单个分段：参数条件及对应的解集 |
| CLMCAS::PlaneSymbolic | 由法向量和常数 d 定义的符号平面 ax + by + cz = d。 |
| CLMCAS::Polynomial< CoeffType > | 一元多项式模板类 |
| CLMCAS::polynomial_solver_detail::SymbolicQuarticDepression | |
| CLMCAS::PositiveInfinityLimit | |
| CLMCAS::ProvedNonIdentityResidual | 证明残差在原公共定义域上非恒零，例如非零有理多项式。 残差仍可能在特定参数值处为零；点值不等性、定义域及上下文假设下的非零性均需另行证明。 |
| CLMCAS::ProvedZeroResidual | 在表达式的原公共定义域上认证值相等；点值定义域与分母条件需另行证明。 |
| CLMCAS::QRDecomposition | |
| CLMCAS::QuadraticBoundaries | |
| CLMCAS::QuadratureEstimate | |
| CLMCAS::RationalRootReconstruction | |
| CLMCAS::Relation | A stored relational constraint between two symbolic expressions |
| CLMCAS::RelationStore::TransitiveWork | |
| CLMCAS::ResourceLimits | Per-operation limits for APIs that accept a ComputationContext |
| CLMCAS::Result< T > | |
| CLMCAS::Result< void > | |
| CLMCAS::SearchInterval | 搜索区间 |
| CLMCAS::serialization_detail::Recursion | |
| CLMCAS::SignChartEntry | 符号图条目,记录区间及其上的符号 |
| CLMCAS::SignHash | Hash functor for Sign enum to allow use in unordered_set |
| CLMCAS::SolveOptions | 方程求解选项,控制数值求解行为和结果形式 |
| CLMCAS::SquareFreeDecomp | 无平方因子分解结果 |
| CLMCAS::SubstitutionResult | 换元结果，记录换元表达式、换元后的多项式及换元变量名。 |
| CLMCAS::SurfaceSymbolic | 隐式曲面 F(x,y,z) = 0。 |
| CLMCAS::SVDDecomposition | |
| CLMCAS::SymbolicExpr::Impl | |
| CLMCAS::SymbolicFactory | |
| CLMCAS::SymbolicNode | |
| CLMCAS::AddNode | 加法节点，表示多个操作数的求和。 |
| CLMCAS::ComplexNode | 复数节点，表示 real + imag * i。 |
| CLMCAS::FiniteSetNode | |
| CLMCAS::FunctionNode | 函数节点，表示数学函数调用（三角函数、对数、特殊函数等）。 |
| CLMCAS::IntegralNode | |
| CLMCAS::IntervalNode | |
| CLMCAS::LimitNode | |
| CLMCAS::LogicalNode | |
| CLMCAS::MatrixNode | 矩阵节点，支持稠密和稀疏两种存储方式。 |
| CLMCAS::MembershipNode | |
| CLMCAS::MultiplyNode | 乘法节点，表示多个操作数的乘积。 |
| CLMCAS::NumberNode | |
| CLMCAS::PiecewiseNode | 分段函数节点,表示条件分支表达式 |
| CLMCAS::PowerNode | 幂运算节点，表示 base^exponent。 |
| CLMCAS::ProductNode | 连乘节点,表示符号有限/无限连乘 prod_{k=a}^{b} f(k) |
| CLMCAS::QuantifierNode | |
| CLMCAS::QuantityNode | |
| CLMCAS::RelationalNode | |
| CLMCAS::RootOfNode | |
| CLMCAS::SetBuilderNode | |
| CLMCAS::SummationNode | 求和节点,表示符号有限/无限求和 sum_{k=a}^{b} f(k) |
| CLMCAS::TransformNode | 积分变换节点,表示 Laplace,Fourier,Z 变换及其逆变换 |
| CLMCAS::UninterpretedFunctionNode | |
| CLMCAS::VariableNode | 变量节点，表示一个符号变量。 |
| CLMCAS::SymbolicPolyCoeff | 符号多项式算法使用的表达式系数。 |
| CLMCAS::TfPolyBuildResult | 分解含 sin、cos、exp、ln 等超越函数的表达式。 |
| CLMCAS::TfSquareFreeResult | 执行一步二次 Hensel 提升:mod m -> mod m^2 |
| CLMCAS::transform_detail::GaussianMatch | |
| CLMCAS::TransSubstitution | 换元映射条目:超越子表达式 -> 代数不定元名 |
| CLMCAS::TransSubstitutionResult | 换元结果 |
| CLMCAS::TrigSquare | |
| CLMCAS::UnitDefinition | |
| CLMCAS::UniversalSolutions | |
| CLMCAS::UnprovedResidual | |
| CLMCAS::Verified< T > | |
| CLMCAS::ZcFactorSearch | |
| Cvariant< LMCAS::detail::definite::Boundary, LMCAS::CasError > | |
1.18.0