文件
	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

文件