src 的目录依赖关系图

目录
	internal

文件
	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
	在计算预算内对提升因子进行精确有理重构。

目录

文件