| NLMCAS | |
| Nanonymous_namespace{complex_analysis.cpp} | |
| CExplicitComplexFinder | |
| CFunctionDependencyFinder | |
| CFunctionOfExplicitComplexFinder | |
| Nanonymous_namespace{expr_serialization.cpp} | |
| CWriter | |
| Nanonymous_namespace{expr_serialization_reader.cpp} | |
| CReader | |
| Nanonymous_namespace{expression_analysis.cpp} | |
| CAllNameCollector | |
| CFreeSubstitution | |
| CFreeVariableCollector | |
| CFreeVariableFinder | |
| Nanonymous_namespace{inequality_solver_polynomial.cpp} | |
| CExactInequalityRoot | |
| Nanonymous_namespace{inequality_solver_rational.cpp} | |
| CCriticalPoint | |
| Nanonymous_namespace{inference_engine_bounds.cpp} | |
| CBoundsPropagation | |
| Nanonymous_namespace{inference_engine_periodicity.cpp} | |
| CPeriodEvidence | |
| CPeriodInference | |
| Nanonymous_namespace{integration_definite.cpp} | |
| CDefiniteInterval | |
| CRationalIntegrand | |
| Nanonymous_namespace{integration_substitution.cpp} | |
| CLinearWrapper | |
| Nanonymous_namespace{integration_trig_substitution.cpp} | |
| CQuadRadical | |
| Nanonymous_namespace{limit_result.cpp} | |
| CComplexContinuityPoint | |
| CComplexPuncturedFacts | |
| CSideBranchRewriter | |
| Nanonymous_namespace{matrix_decomposition.cpp} | |
| CNormSum | |
| Nanonymous_namespace{matrix_decomposition_eigen.cpp} | |
| CQuadraticSigns | |
| Nanonymous_namespace{mixed_transcendental_classification.cpp} | |
| CTranscendentalDetector | |
| Nanonymous_namespace{mixed_transcendental_search.cpp} | |
| CPeriodicCollector | |
| Nanonymous_namespace{multivariate_factor_checked.cpp} | |
| CFactorRecursionGuard | |
| Nanonymous_namespace{newton_raphson.cpp} | |
| CRootCallbacks | |
| Nanonymous_namespace{normalization_products.cpp} | |
| CFactorAccum | |
| CProductAccumulator | |
| Nanonymous_namespace{numeric_evaluation.cpp} | |
| CRecursionScope | |
| Nanonymous_namespace{numerical_integration.cpp} | |
| CNormalizedInterval | |
| CQuadratureCallback | |
| Nanonymous_namespace{parametric_solver_branches.cpp} | |
| CParametricBranchSolver | |
| Nanonymous_namespace{quantity.cpp} | |
| CQuantityView | |
| Nanonymous_namespace{rational_parsing.cpp} | |
| CRationalLiteral | |
| Nanonymous_namespace{rational_polynomial_recognition.cpp} | |
| CRecursionScope | |
| Nanonymous_namespace{residual_verification.cpp} | |
| CFormalResidual | 在原公共定义域上证明形式有理恒等式。 将不透明标量子式视为不定元，保留其点值可能为零的情况； 交叉相乘免去因式分解及符号系数 GCD。 |
| CAngle | |
| CAngleCollector | |
| CFraction | |
| CResidualBranch | |
| CResidualProfiles | |
| CResidualRecursionScope | |
| Nanonymous_namespace{solve_mixed_transcendental.cpp} | |
| CMixedRootCollection | |
| CSymbolicRoot | |
| Nanonymous_namespace{solve_solution_finalization.cpp} | |
| CSolutionFinalizer | |
| Nanonymous_namespace{solver_groebner_system.cpp} | |
| CPolynomialSystemSearch | |
| Nanonymous_namespace{symbolic_cancel.cpp} | |
| CCancellationFraction | |
| Nanonymous_namespace{symbolic_gcd.cpp} | |
| CRecursionFrame | |
| Nanonymous_namespace{transcendental_rewrite.cpp} | |
| CFactorSimplification | |
| Nanonymous_namespace{transcendental_solver_substitution.cpp} | |
| CSubstNodeVisitor | |
| Nassumption_detail | |
| Nanonymous_namespace{assumption_parse_relations.cpp} | |
| CTopLevelToken | |
| CAssumptionParser | |
| NAssumptionContext | |
| CRelationShadowing | |
| Ndetail | 多元 Hensel 提升（单变量步） |
| Nanonymous_namespace{complex_quadratic.cpp} | |
| CCartesianNodes | |
| Nanonymous_namespace{complex_root_isolation.cpp} | |
| CRootIsolationCacheEntry | |
| Nanonymous_namespace{exact_algebraic_refinement.cpp} | |
| CDyadicProposal | |
| Nanonymous_namespace{exact_sturm.cpp} | |
| CPendingInterval | |
| Nanonymous_namespace{facts_query.cpp} | |
| CDomainTraversal | |
| CArithmeticReduction | |
| CValueFacts | |
| Nanonymous_namespace{facts_query_adapters.cpp} | |
| CNoFacts | |
| Nanonymous_namespace{lmmc_lifecycle.cpp} | |
| CLmmcLifecycle | |
| Nanonymous_namespace{mixed_transcendental_isolation.cpp} | |
| CRootIsolation | |
| CSampledInterval | |
| Nanonymous_namespace{mixed_transcendental_refinement.cpp} | |
| CRootRefinement | |
| Nanonymous_namespace{numeric_evaluation_power.cpp} | |
| CExponentParity | |
| Nanonymous_namespace{rewrite_budget.cpp} | |
| CMeasurementRecursion | |
| Nanonymous_namespace{symbolic_quadric_classification.cpp} | |
| CCenteredQuadric | |
| CSymmetricEigen3 | |
| Ncomplex_root | |
| Nanonymous_namespace{complex_root_projection.cpp} | |
| CBiPolynomial | |
| CComplexBivariate | |
| Nanonymous_namespace{complex_root_rectangles.cpp} | |
| CProjectionGrid | |
| CCoordinateProjections | |
| CRationalRectangle | |
| CRectangleCount | |
| Ndefinite | |
| Nanonymous_namespace{integration_definite_segments.cpp} | |
| CRealPrimitiveCandidate | |
| CSegmentExpression | 在已认证开区间上进行恒等改写，保留对数分支。 对数分支变更仅由独立的原函数候选生成器处理。 |
| CSegmentFacts | |
| CBoundary | |
| CRationalFunction | |
| Ntranscendental | |
| Nanonymous_namespace{transcendental_patterns.cpp} | |
| CScaledFunction | |
| CExpBasePattern | |
| CInversePattern | |
| CLambertWPattern | |
| CAffineForm | |
| CAssumptionFacts | |
| CBinderView | |
| CCheckedInterval | |
| CComparableEndpoint | |
| CComplexIsolation | |
| CEliminationResult | |
| CExactBoundArithmetic | 常数及根式包围区间共用的内部算术策略。 保守界覆盖未约分 Rational 的交叉乘积及结果；受检入口统一捕获 CasError，仅返回完整结果。 |
| CExactMatrixData | |
| CExactRealAlgebraic | |
| CExactRootId | |
| CInconsistentLinearSolution | |
| CIntegralParts | |
| CIntegrationEntry | |
| CNodeTypeDetector | |
| CNumericEvaluationOptions | |
| CNumericEvaluator | |
| CParametricLinearSolution | |
| CQuadraticCartesianRoot | |
| CRealIsolation | |
| CRecursiveSymbolicVisitor | |
| CRewriteBudget | |
| CEntry | |
| CMeasurement | |
| CShape | |
| CRewriteScope | |
| CScopedFacts | 为绑定体提供词法作用域，隔离同名自由变量的外层事实。 无关表达式继续借用外层事实及其关系推论；栈上视图串联保留嵌套作用域。 |
| CSymbolicExprAccess | |
| CSymbolicRewriter | |
| CSymbolicVisitor | |
| CDepthGuard | |
| CUniqueLinearSolution | |
| Nequivalence_detail | |
| Nanonymous_namespace{equivalence_complex.cpp} | |
| CComplexProduct | |
| Nanonymous_namespace{equivalence_trig.cpp} | |
| CTrigSquare | |
| Nexpr_detail | |
| CExprParser | |
| Nfglm_detail | |
| CGaussianEliminator | |
| CMonomialEnumerator | |
| CHeapCmp | |
| Ngroebner_detail | |
| CMonomialLess | |
| CPoly | |
| CPolyBuilder | |
| CPolyContext | |
| CSugarPair | |
| CTerm | |
| NInferenceEngine | |
| CDepthGuard | |
| CImpl | |
| NIrrational | |
| CEnclosureRound | |
| Nmultivariate_checked_detail | |
| CLinearAssignments | |
| CLinearSamples | |
| Node_root_detail | |
| CCharRoot | |
| CComplex | |
| Npolynomial_solver_detail | |
| CSymbolicQuarticDepression | |
| NRelationStore | |
| CTransitiveWork | |
| Nserialization_detail | |
| CRecursion | |
| Nsolver_detail | |
| Nanonymous_namespace{solver_imaginary.cpp} | |
| CContainsImaginaryVisitor | 检查表达式树中的虚数分量。 |
| NSymbolicExpr | |
| CImpl | |
| Ntransform_detail | |
| CGaussianMatch | |
| CAddNode | 加法节点，表示多个操作数的求和。 |
| CApproxComplex | |
| CApproxReal | |
| CAssumptionDecl | Declaration of an assumption to apply within a with_assumptions block |
| CDomainDeclaration | |
| CSignDeclaration | |
| CAsymptoteResult | 根据左右极限与函数值，在给定上下文假设下证明实数域中的连续性分类。 跳跃与可去间断的比较需证明逐点不等，相等性需保证各值有定义；形式非恒等不足以证明二者。 参数值或有定义性未确定时返回 Inconclusive；资源、取消和底层证明错误原样传播，不作为分类。 |
| CBerlekampResult | Berlekamp 分解结果。 |
| CBinding | |
| CByConstructionProof | |
| CCacheKey | 由表达式结构哈希、属性和自变量组成缓存键。 |
| CCacheKeyHash | 缓存键哈希，计入周期查询的自变量。 |
| CCancellationToken | |
| CCasError | |
| CCheckedInterval | |
| CCholeskyDecomposition | |
| CComparableEndpoint | |
| CComplexNode | 复数节点，表示 real + imag * i。 |
| CComplexSymbolic | 符号复数，由实部和虚部组成 |
| CComputationContext | |
| CConditionalSolutions | |
| CConditionSet | |
| CConvergenceInfo | 收敛性判定信息 |
| CCriticalPoint | 临界点的坐标、分类及成立条件。 |
| CDiagnostic | |
| CDiagnosticEngine | |
| CDifferentiationVisitor | |
| CEmptySolutions | |
| CEqvBudget | 各限额均为非零值；深度与规模在重写运行中检查，超限返回 ResourceLimit。 |
| CEqvOptions | |
| CEvaluatedTransform | 受检变换成功时返回在 conditions 和收敛域 roc 条件下有效的已求值表达式。 支持性未决或收敛条件无法表示时，返回外层 Inconclusive 错误。 |
| CExactNormalizationProof | |
| CExactResidualProof | |
| CExactRoundTripProof | |
| CExpandVisitor | |
| CExprMatch | |
| CExprMatchBinding | |
| CExprParser | |
| CFactsQuery | |
| CFiniteLimit | 已证在请求的实数或复数域内有定义的有限值。 表达式树中所有极限均已求定，扩展实数运算均有确定结果。 |
| CFiniteSetNode | |
| CFiniteSolution | Conditions 是在操作上下文假设下须同时满足的条件。 空条件保留原表达式定义域且不增加约束；整数参数遍历全体整数。 |
| CFiniteSolutions | |
| CFourierPeriod | |
| CFrobeniusSolution | Frobenius 级数解结果 |
| CFunctionNode | 函数节点，表示数学函数调用（三角函数、对数、特殊函数等）。 |
| CGcdSamples | |
| CHenselLiftPair | 二因子二次 Hensel 提升的状态结构 |
| CIntegralNode | |
| CIntegrationStep | |
| CIntervalNode | |
| CIntervalSolution | |
| CIntervalSolutions | |
| CIsolatedInterval | 隔离子区间,包含至多一个根 |
| CJordanDecomposition | |
| CLaurentResult | 洛朗级数展开结果 |
| CLimitDoesNotExist | |
| CLimitNode | |
| CLineSymbolic | 由一点和方向向量定义的符号直线。 |
| CLogicalNode | |
| CLUDecomposition | |
| CMathResult | |
| CMatrixInconsistentLinearSolution | |
| CMatrixNode | 矩阵节点，支持稠密和稀疏两种存储方式。 |
| CMatrixParametricLinearSolution | |
| CMatrixUniqueLinearSolution | |
| CMembershipNode | |
| CModInt | 模整数类，封装模 p 下的算术运算 |
| CMonomialOrder | 单项式序比较器，支持 Lex、GrevLex、DegLex、DegRevLex |
| CMultiFactorResult | 多元因式分解结果 |
| CMultiplyNode | 乘法节点，表示多个操作数的乘积。 |
| CNegativeInfinityLimit | |
| CNodeCompare | |
| CNodeEqual | |
| CNodeHash | |
| CNodeLess | |
| CNormalizationVisitor | 统一规范化数值幂。 精确操作数保留整数和有理数运算；近似求根要求指数精确等于 1/2。 有限浮点幂直接折叠，省去倒数中间值；非有限结果保留幂表达式。 |
| CNumberNode | |
| CNumericRoot | 数值根结果,包含根值,残差和迭代次数 |
| CODEClassification | ODE 分类结果,包含类型及提取的结构信息 |
| CODESolution | ODE 求解结果 |
| COdeTaylorCoefficients | |
| CParametricSolution | |
| CParametricSolutions | |
| CPiecewiseNode | 分段函数节点,表示条件分支表达式 |
| CBranch | |
| CPiecewiseSolution | 含参方程组的分段解，按参数条件分类 |
| CCase | 单个分段：参数条件及对应的解集 |
| CPlaneSymbolic | 由法向量和常数 d 定义的符号平面 ax + by + cz = d。 |
| CPolynomial | 一元多项式模板类 |
| CPositiveInfinityLimit | |
| CPowerNode | 幂运算节点，表示 base^exponent。 |
| CProductNode | 连乘节点,表示符号有限/无限连乘 prod_{k=a}^{b} f(k) |
| CProvedNonIdentityResidual | 证明残差在原公共定义域上非恒零，例如非零有理多项式。 残差仍可能在特定参数值处为零；点值不等性、定义域及上下文假设下的非零性均需另行证明。 |
| CProvedZeroResidual | 在表达式的原公共定义域上认证值相等；点值定义域与分母条件需另行证明。 |
| CQRDecomposition | |
| CQuadraticBoundaries | |
| CQuadratureEstimate | |
| CQuantifierNode | |
| CQuantityNode | |
| CRationalRootReconstruction | |
| CRelation | A stored relational constraint between two symbolic expressions |
| CRelationalNode | |
| CResourceLimits | Per-operation limits for APIs that accept a ComputationContext |
| CResult | |
| CResult< void > | |
| CRewriteVisitor | |
| CRootOfNode | |
| CSearchInterval | 搜索区间 |
| CSetBuilderNode | |
| CSignChartEntry | 符号图条目,记录区间及其上的符号 |
| CSignHash | Hash functor for Sign enum to allow use in unordered_set |
| CSolveOptions | 方程求解选项,控制数值求解行为和结果形式 |
| CSquareFreeDecomp | 无平方因子分解结果 |
| CSubstitutionResult | 换元结果，记录换元表达式、换元后的多项式及换元变量名。 |
| CSummationNode | 求和节点,表示符号有限/无限求和 sum_{k=a}^{b} f(k) |
| CSurfaceSymbolic | 隐式曲面 F(x,y,z) = 0。 |
| CSVDDecomposition | |
| CSymbolicFactory | |
| CSymbolicNode | |
| CSymbolicPolyCoeff | 符号多项式算法使用的表达式系数。 |
| CTfPolyBuildResult | 分解含 sin、cos、exp、ln 等超越函数的表达式。 |
| CTfSquareFreeResult | 执行一步二次 Hensel 提升:mod m -> mod m^2 |
| CTransformNode | 积分变换节点,表示 Laplace,Fourier,Z 变换及其逆变换 |
| CTransSubstitution | 换元映射条目:超越子表达式 -> 代数不定元名 |
| CTransSubstitutionResult | 换元结果 |
| CTrigSquare | |
| CUninterpretedFunctionNode | |
| CUnitDefinition | |
| CUniversalSolutions | |
| CUnprovedResidual | |
| CVariableNode | 变量节点，表示一个符号变量。 |
| CVerified | |
| CZcFactorSearch | |
1.18.0