文件列表

这里列出了所有文件，并附带简要说明:

[详情级别 1234]

include
assumption.hpp	Core enumerations and forward declarations for the Assumption System
assumption_context.hpp	AssumptionContext class with scoped push/pop management
bigint.hpp	任意精度整数 BigInt，底层调用 LMMP 实现高性能大数运算。
calculus_utils.hpp	微积分工具函数:连续性判定,渐近线分析,对数微分,微分,全微分,反函数导数,反函数求解等
complex_analysis.hpp	复变函数分析:留数计算,柯西积分公式,解析延拓
computation_context.hpp
conditional_result.hpp
differential_geometry.hpp	微分几何:度量张量,克里斯托弗符号,黎曼曲率张量
equivalence_options.hpp
exact_factorization.hpp
expr.hpp
fglm.hpp	FGLM 算法:零维理想 Gröbner 基在不同单项式序之间的转换
inequality_solver.hpp	不等式求解器 InequalitySolver,支持多项式,有理式,参数化不等式
inference_engine.hpp	InferenceEngine class for deriving properties of composite expressions
integration.hpp	Symbolic integration APIs
integrator.hpp
interval.hpp	区间与区间并集 IntervalUnion，用于不等式解集表示。
irrational.hpp	精确实根式及根式、pi、e 的有理组合。
limit_direction.hpp
limit_result.hpp
limit_value.hpp
lmcas_export.hpp
matcher.hpp	模式匹配引擎 Matcher 与重写规则系统 RewriteEngine。
matrix_decomposition.hpp	矩阵高级分解算法：LU、QR、Cholesky、SVD、特征分解及矩阵指数。
matrix_quadratic_form.hpp	Extraction of symmetric matrices from homogeneous quadratic forms
modular_arithmetic.hpp	模运算工具：ModInt 类、扩展欧几里得、CRT、有理重构。
monomial_order.hpp	单项式序：Lex, GrevLex, DegLex, DegRevLex 及相关工具函数。
multiple_integral.hpp
multivariate_factor.hpp	多元多项式因式分解器公共 API。
multivariate_poly.hpp	多元多项式类 MultiPoly，稀疏表示，支持任意数量变量上的环运算。
newton_raphson.hpp	数值求根:Newton-Raphson 迭代,二分法,Sturm 实根隔离
numeric_evaluation.hpp
numeric_value.hpp
numerical_integration.hpp	数值积分算法:辛普森法则和高斯求积(符号-数值混合桥接)
parametric_solver.hpp	含参方程组求解器 ParametricSolver，支持分段解。
poly_utils.hpp	多项式转换与精确符号多项式代数。
polynomial.hpp	一元多项式模板类 Polynomial<T>,支持四则运算,GCD,求导,求值
polynomial_conversion.hpp	符号表达式与一元多项式的转换。
polynomial_division.hpp
proof_outcome.hpp
property_store.hpp	PropertyStore class for mapping symbol names to declared properties
quantity.hpp
query_interface.hpp	QueryInterface class - unified tri-state query API for property questions on arbitrary expressions
rational.hpp	精确有理数 Rational，基于 BigInt 分子/分母表示，自动约分。
rational_polynomial.hpp
relation_store.hpp	RelationStore class for storing relational constraints between symbolic expressions
residual_verification.hpp
result.hpp
root_of_identity.hpp	精确 RootOf 标识构造及受检数值求值。
root_of_utils.hpp	RootOf 恒等关系、求值及代数闭式化简。
series_engine.hpp	级数引擎模块:收敛性判定,幂级数运算,傅里叶级数,洛朗级数,渐近展开,符号求和与乘积
solve_mixed_transcendental.hpp	混合超越方程求解:符号预处理 + 自适应根隔离 + Newton-Raphson 精化
solve_polynomial.hpp
solve_strategies.hpp	方程求解策略调度器 solve_dispatch 及相关选项结构体
solve_transcendental.hpp	超越方程求解：三角、指数、对数方程的符号反演。
solver.hpp	多项式方程组求解器 Solver，包含 Gröbner 基、线性系统求解。
symbolic.hpp	符号表达式主类 SymbolicExpr 及其工厂方法,运算接口
symbolic_complex.hpp	符号复数运算：加减乘除、共轭、模、辐角、极坐标形式。
symbolic_geometry.hpp	解析几何应用：旋转体体积、弧长公式。
symbolic_geometry_line_plane.hpp
symbolic_geometry_quadric.hpp
symbolic_geometry_surface.hpp
symbolic_geometry_vector.hpp
symbolic_implicit_diff.hpp	隐函数微分 dy/dx = -F_x / F_y。
symbolic_matrix.hpp	符号矩阵运算：乘法、行列式、逆、旋转/反射/缩放矩阵、特征值。
symbolic_ode.hpp	常微分方程求解:可分离变量,一阶线性,二阶常系数
symbolic_ode_engine.hpp	统一 ODE 求解引擎:分类,分派,多种求解方法
symbolic_set.hpp
symbolic_vector_geometry.hpp	向量几何：点积、叉积、夹角、直线与平面交点、异面直线距离。
transcendental_factor.hpp	混合超越方程不可约因式分解器公共 API
transform_engine.hpp	积分变换引擎:Laplace 变换,逆 Laplace 变换,Fourier 变换,Z 变换
unit.hpp
value.hpp	运行时值类型 Value,支持数值,符号,容器类型
vector_calculus.hpp
vector_calculus_curves.hpp
vector_calculus_differential.hpp
vector_calculus_extrema.hpp
vector_calculus_matrices.hpp
vector_calculus_surfaces.hpp
vector_calculus_theorems.hpp
vector_calculus_types.hpp
vector_calculus_vectors.hpp
src
internal
symbolic_ast
arithmetic.hpp
base.hpp	内部 AST 的所有权、节点协议、访问者契约与工厂声明。
bindings.hpp
constructs.hpp
functions.hpp
integral.hpp
matrix.hpp
numbers.hpp
relations.hpp
sets.hpp
special_forms.hpp
traversal.hpp
visitors
differentiation_visitor.hpp	微分访问器，对 AST 执行符号求导。
expand_visitor.hpp	展开访问器，将乘积和幂展开为多项式形式。
limit_visitor.hpp	极限访问器，通过代入和 L'Hôpital 法则计算极限。
normalization_visitor.hpp	符号规范化访问器接口。
print_visitor.hpp	打印访问器，将 AST 转换为可读字符串。
assumption_facts.hpp
assumption_parser.hpp
assumption_simplification.hpp
berlekamp_support.hpp
calculus_utils_support.hpp
complex_quadratic.hpp
complex_root_isolation.hpp
equivalence_engine.hpp
equivalence_support.hpp
exact_algebraic.hpp
exact_constant_bounds.hpp
exact_factorization_support.hpp
exact_matrix.hpp
exact_matrix_support.hpp
exact_rational_matrix.hpp
exact_root.hpp
exact_root_id.hpp
exact_sturm.hpp
expr_common.hpp
expr_internal.hpp
expr_parser.hpp
expr_serialization_common.hpp
expression_analysis.hpp
expression_construction.hpp
expression_transform.hpp
facts_query.hpp
fglm_internal.hpp
inequality_solver_support.hpp
inference_engine_impl.hpp
integration_definite_support.hpp
integration_rational_support.hpp
integration_support.hpp
integration_table_rules.hpp
interval_endpoint.hpp
lmmc_lifecycle.hpp
matrix_decomposition_support.hpp
mixed_transcendental_support.hpp
multivariate_conversion.hpp
multivariate_factor_checked_support.hpp
multivariate_factor_support.hpp
normalization_utils.hpp
numeric_evaluation_support.hpp
numeric_literal.hpp
numeric_probe.hpp
ode_characteristic_roots.hpp
ode_polynomial_utils.hpp
ode_support.hpp
pointwise_comparison.hpp
polynomial_solver_support.hpp
property_store_support.hpp
query_support.hpp
rewrite_budget.hpp
series_support.hpp
solver_groebner_builder.hpp
solver_groebner_internal.hpp
solver_support.hpp
squared_norm.hpp
symbolic_ast.hpp	内部 AST 定义。
symbolic_geometry_support.hpp
symbolic_matrix_support.hpp
symbolic_quadric_classification.hpp
transcendental_solver_support.hpp
transcendental_support.hpp
transform_support.hpp
vector_calculus_support.hpp
assumption_conditionals.cpp
assumption_context.cpp
assumption_deserialization.cpp
assumption_parse_atoms.cpp
assumption_parse_intervals.cpp
assumption_parse_properties.cpp
assumption_parse_relations.cpp
assumption_parse_values.cpp
assumption_queries.cpp
assumption_serialization.cpp
assumption_simplification.cpp
berlekamp.cpp
berlekamp_basis.cpp
berlekamp_modular.cpp
berlekamp_split.cpp
bigint.cpp
bigint_arithmetic.cpp
bigint_combinatorics.cpp
bigint_number_theory.cpp
calculus_asymptotes.cpp
calculus_continuity.cpp
calculus_curvature.cpp
calculus_inverse.cpp
calculus_revolution.cpp
calculus_utils.cpp
complex_analysis.cpp	复变函数分析实现。
complex_quadratic.cpp
complex_root_isolation.cpp
complex_root_projection.cpp
complex_root_rectangles.cpp
complex_root_winding.cpp
differential_geometry.cpp	微分几何实现。
differentiation_arithmetic.cpp
differentiation_functions.cpp
differentiation_structural.cpp
equivalence_complex.cpp
equivalence_engine.cpp
equivalence_exp_log.cpp
equivalence_options.cpp
equivalence_proof.cpp
equivalence_trig.cpp
exact_algebraic.cpp
exact_algebraic_refinement.cpp
exact_constant_bounds.cpp
exact_matrix.cpp
exact_matrix_determinant.cpp
exact_matrix_solve.cpp
exact_matrix_support.cpp
exact_rational_determinant.cpp
exact_rational_solve.cpp
exact_root.cpp
exact_sturm.cpp
expand_visitor.cpp
expr_arithmetic.cpp
expr_complex_evaluation.cpp
expr_elementary.cpp
expr_equivalence.cpp
expr_errors.cpp
expr_facade.cpp
expr_number_domains.cpp
expr_parser_construction.cpp
expr_parser_functions.cpp
expr_parsing.cpp
expr_serialization.cpp
expr_serialization_reader.cpp
expr_sets.cpp
expr_solving.cpp
expr_transform.cpp
expr_values.cpp
expression_analysis.cpp
facts_query.cpp
facts_query_adapters.cpp
facts_query_rational.cpp
fglm.cpp
fglm_dimension.cpp
fglm_linear.cpp
fglm_polynomial.cpp
hensel_lift.cpp	Hensel 提升算法实现:Mignotte 界计算与二次提升
inequality_solver.cpp
inequality_solver_chart.cpp
inequality_solver_numeric.cpp
inequality_solver_ordering.cpp
inequality_solver_parametric.cpp
inequality_solver_polynomial.cpp
inequality_solver_rational.cpp
inference_engine_arithmetic.cpp
inference_engine_bounds.cpp
inference_engine_core.cpp
inference_engine_domains.cpp
inference_engine_facts.cpp
inference_engine_functions.cpp
inference_engine_monotonicity.cpp
inference_engine_periodicity.cpp
inference_engine_power.cpp
inference_engine_product.cpp
inference_engine_relations.cpp
inference_engine_sign_queries.cpp
integration_basic_strategies.cpp
integration_by_parts.cpp
integration_definite.cpp
integration_definite_algebraic.cpp
integration_definite_segments.cpp
integration_linearity.cpp
integration_rational.cpp
integration_rational_coefficients.cpp
integration_rational_collection.cpp
integration_rational_factorization.cpp
integration_rational_terms.cpp
integration_special_functions.cpp
integration_substitution.cpp
integration_table.cpp
integration_table_algebraic.cpp
integration_table_composite.cpp
integration_table_elementary.cpp
integration_trig_substitution.cpp
integration_trigonometric.cpp
integration_weierstrass.cpp
integrator.cpp
interval.cpp
interval_endpoint.cpp
interval_endpoint_order.cpp
interval_normalization.cpp
interval_serialization.cpp
interval_set_operations.cpp
irrational.cpp
irrational_arithmetic.cpp
irrational_representation.cpp
irrational_symbolic.cpp
limit_result.cpp
limit_visitor_arithmetic.cpp
limit_visitor_asymptotic.cpp
limit_visitor_composition.cpp
limit_visitor_core.cpp
limit_visitor_direction.cpp
limit_visitor_evaluation.cpp
limit_visitor_predicates.cpp
limit_visitor_product.cpp
limit_visitor_product_special.cpp
limit_visitor_squeeze.cpp
limit_visitor_taylor.cpp	LimitVisitor 的 Taylor 展开回退实现
lmmc_lifecycle.cpp
matcher.cpp
matrix_decomposition.cpp
matrix_decomposition_cholesky.cpp
matrix_decomposition_eigen.cpp
matrix_decomposition_lu.cpp
matrix_decomposition_qr.cpp
matrix_decomposition_support.cpp
matrix_decomposition_svd.cpp
matrix_quadratic_form.cpp
mixed_transcendental_classification.cpp
mixed_transcendental_deduplication.cpp
mixed_transcendental_evaluation.cpp
mixed_transcendental_isolation.cpp
mixed_transcendental_numeric.cpp
mixed_transcendental_refinement.cpp
mixed_transcendental_search.cpp
multiple_integral.cpp
multivariate_factor.cpp	多元多项式因式分解器实现
multivariate_factor_checked.cpp
multivariate_factor_evaluation.cpp
multivariate_factor_patterns.cpp
multivariate_hensel.cpp
multivariate_poly.cpp	多元多项式类 MultiPoly 的实现。
multivariate_poly_arithmetic.cpp
multivariate_poly_evaluation.cpp
newton_raphson.cpp
normalization_arithmetic.cpp
normalization_functions.cpp
normalization_matrices.cpp
normalization_norms.cpp
normalization_numeric_functions.cpp
normalization_numeric_powers.cpp
normalization_powers.cpp
normalization_products.cpp
normalization_signs.cpp
normalization_structural.cpp
normalization_trigonometric.cpp
normalization_utils.cpp
numeric_evaluation.cpp
numeric_evaluation_functions.cpp
numeric_evaluation_nodes.cpp
numeric_evaluation_power.cpp
numerical_integration.cpp	数值积分实现
ode_advanced.cpp	通过受检接口用常数变易法构造解。
ode_characteristic_roots.cpp
ode_classification.cpp	ODE 方程类型检测与分类。
ode_first_order.cpp
ode_frobenius.cpp	奇点分类与 Frobenius 系数递推。
ode_linear.cpp	常系数高阶与 Euler ODE 的解表达式构造和受检 API。
ode_support.cpp	ODE 输入检查与结果处理的共享约定。
parametric_solver.cpp
parametric_solver_branches.cpp
poly_utils.cpp
print_visitor.cpp
property_classification.cpp
property_intervals.cpp
property_store.cpp
property_store_support.cpp
quantity.cpp
query_conditions.cpp
query_interface.cpp
query_special_values.cpp
rational.cpp
rational_parsing.cpp
rational_polynomial.cpp
rational_polynomial_recognition.cpp
rational_representation.cpp
rational_roots.cpp
rational_square_free.cpp
relation_store.cpp
residual_comparison.cpp
residual_verification.cpp
rewrite_budget.cpp
rewrite_engine.cpp
root_of_identity.cpp
root_of_utils.cpp
series_convergence.cpp
series_engine.cpp
series_expansions.cpp
series_sequence_limits.cpp
solve_mixed_transcendental.cpp
solve_polynomial.cpp
solve_polynomial_cubic.cpp
solve_polynomial_normalization.cpp
solve_polynomial_quadratic.cpp
solve_polynomial_quartic.cpp
solve_polynomial_quartic_symbolic.cpp
solve_solution_finalization.cpp
solve_transcendental.cpp
solve_visitor.cpp
solver_assumptions.cpp
solver_groebner.cpp
solver_groebner_basis.cpp
solver_groebner_builder.cpp
solver_groebner_conversion.cpp
solver_groebner_poly.cpp
solver_groebner_reconstruction.cpp
solver_groebner_system.cpp
solver_imaginary.cpp
solver_linear.cpp
squared_norm.cpp
symbolic_algebra_adapter.cpp
symbolic_calculus_adapter.cpp
symbolic_cancel.cpp
symbolic_complex.cpp
symbolic_construction.cpp
symbolic_core.cpp
symbolic_factor.cpp
symbolic_factory.cpp
symbolic_gcd.cpp
symbolic_geometry.cpp
symbolic_geometry_line.cpp
symbolic_geometry_line_plane.cpp
symbolic_geometry_plane.cpp
symbolic_geometry_quadric.cpp
symbolic_geometry_support.cpp
symbolic_geometry_surface.cpp
symbolic_geometry_vector.cpp
symbolic_implicit_diff.cpp
symbolic_matrix.cpp
symbolic_matrix_eigen.cpp
symbolic_matrix_solve.cpp
symbolic_matrix_support.cpp
symbolic_matrix_transform.cpp
symbolic_node_order.cpp
symbolic_number_order.cpp
symbolic_ode.cpp
symbolic_quadric_classification.cpp
symbolic_set.cpp
transcendental_factor.cpp
transcendental_inversion.cpp
transcendental_patterns.cpp
transcendental_polynomial.cpp
transcendental_pythagorean.cpp
transcendental_rewrite.cpp	超越因子的逆换元、常数提取与乘法结构识别。
transcendental_solver_substitution.cpp
transcendental_substitution.cpp
transform_convolution.cpp
transform_fourier.cpp
transform_inverse_laplace.cpp
transform_laplace.cpp
transform_support.cpp
transform_z.cpp
unit.cpp
univariate_factor_bridge.cpp
value.cpp
value_facade.cpp
vector_calculus_algebra.cpp
vector_calculus_curves.cpp
vector_calculus_differential.cpp
vector_calculus_directional.cpp
vector_calculus_extrema.cpp
vector_calculus_integral_api.cpp
vector_calculus_integrals.cpp
vector_calculus_lagrange.cpp
vector_calculus_matrices.cpp
vector_calculus_support.cpp
vector_calculus_surfaces.cpp
zassenhaus_combine.cpp	在计算预算内对提升因子进行精确有理重构。