src → include 关系

文件在 src	在 include 中引用
assumption_conditionals.cpp	assumption_context.hpp
assumption_context.cpp	assumption_context.hpp
assumption_context.cpp	computation_context.hpp
assumption_deserialization.cpp	computation_context.hpp
internal / assumption_facts.hpp	inference_engine.hpp
assumption_parse_atoms.cpp	expr.hpp
internal / assumption_parser.hpp	assumption_context.hpp
assumption_queries.cpp	assumption_context.hpp
assumption_queries.cpp	computation_context.hpp
assumption_queries.cpp	inference_engine.hpp
assumption_serialization.cpp	assumption_context.hpp
assumption_simplification.cpp	assumption_context.hpp
internal / assumption_simplification.hpp	symbolic.hpp
internal / berlekamp_support.hpp	exact_factorization.hpp
bigint.cpp	bigint.hpp
bigint_arithmetic.cpp	bigint.hpp
bigint_combinatorics.cpp	bigint.hpp
bigint_combinatorics.cpp	computation_context.hpp
bigint_number_theory.cpp	bigint.hpp
calculus_asymptotes.cpp	limit_result.hpp
calculus_asymptotes.cpp	poly_utils.hpp
calculus_asymptotes.cpp	root_of_utils.hpp
calculus_asymptotes.cpp	solve_strategies.hpp
calculus_continuity.cpp	assumption_context.hpp
calculus_continuity.cpp	limit_result.hpp
calculus_curvature.cpp	solve_strategies.hpp
calculus_inverse.cpp	root_of_utils.hpp
calculus_inverse.cpp	solve_strategies.hpp
calculus_revolution.cpp	integration.hpp
internal / calculus_utils_support.hpp	calculus_utils.hpp
complex_analysis.cpp	complex_analysis.hpp
complex_analysis.cpp	limit_result.hpp
complex_analysis.cpp	poly_utils.hpp
complex_analysis.cpp	symbolic.hpp
complex_quadratic.cpp	assumption_context.hpp
complex_quadratic.cpp	residual_verification.hpp
internal / complex_quadratic.hpp	computation_context.hpp
internal / complex_quadratic.hpp	symbolic.hpp
internal / complex_root_isolation.hpp	computation_context.hpp
complex_root_winding.cpp	rational_polynomial.hpp
differential_geometry.cpp	differential_geometry.hpp
differential_geometry.cpp	symbolic.hpp
differential_geometry.cpp	symbolic_matrix.hpp
equivalence_engine.cpp	quantity.hpp
internal / equivalence_engine.hpp	computation_context.hpp
internal / equivalence_engine.hpp	equivalence_options.hpp
internal / equivalence_engine.hpp	symbolic.hpp
equivalence_exp_log.cpp	assumption_context.hpp
equivalence_proof.cpp	poly_utils.hpp
exact_algebraic.cpp	rational_polynomial.hpp
internal / exact_algebraic.hpp	computation_context.hpp
internal / exact_algebraic.hpp	polynomial.hpp
internal / exact_algebraic.hpp	result.hpp
internal / exact_constant_bounds.hpp	computation_context.hpp
internal / exact_constant_bounds.hpp	rational.hpp
internal / exact_factorization_support.hpp	bigint.hpp
internal / exact_matrix.hpp	computation_context.hpp
internal / exact_matrix.hpp	result.hpp
internal / exact_matrix.hpp	symbolic.hpp
exact_matrix_support.cpp	assumption_context.hpp
internal / exact_matrix_support.hpp	computation_context.hpp
internal / exact_rational_matrix.hpp	computation_context.hpp
internal / exact_rational_matrix.hpp	rational.hpp
internal / exact_rational_matrix.hpp	result.hpp
internal / exact_root.hpp	numeric_value.hpp
internal / exact_root.hpp	result.hpp
internal / exact_root_id.hpp	polynomial.hpp
internal / exact_sturm.hpp	computation_context.hpp
internal / exact_sturm.hpp	polynomial.hpp
internal / exact_sturm.hpp	result.hpp
expr_arithmetic.cpp	complex_analysis.hpp
expr_arithmetic.cpp	expr.hpp
internal / expr_common.hpp	expr.hpp
expr_complex_evaluation.cpp	expr.hpp
expr_elementary.cpp	complex_analysis.hpp
expr_elementary.cpp	expr.hpp
expr_equivalence.cpp	expr.hpp
expr_errors.cpp	expr.hpp
expr_facade.cpp	complex_analysis.hpp
expr_facade.cpp	expr.hpp
expr_facade.cpp	matcher.hpp
internal / expr_internal.hpp	expr.hpp
expr_number_domains.cpp	expr.hpp
expr_number_domains.cpp	root_of_identity.hpp
internal / expr_parser.hpp	expr.hpp
expr_parser_functions.cpp	root_of_identity.hpp
expr_parsing.cpp	computation_context.hpp
expr_serialization.cpp	lmcas_export.hpp
internal / expr_serialization_common.hpp	computation_context.hpp
internal / expr_serialization_common.hpp	conditional_result.hpp
expr_serialization_reader.cpp	lmcas_export.hpp
expr_sets.cpp	expr.hpp
expr_solving.cpp	expr.hpp
expr_transform.cpp	assumption_context.hpp
expr_transform.cpp	expr.hpp
expr_transform.cpp	matcher.hpp
expr_values.cpp	expr.hpp
internal / expression_analysis.hpp	computation_context.hpp
internal / expression_analysis.hpp	polynomial_conversion.hpp
internal / expression_analysis.hpp	result.hpp
internal / expression_construction.hpp	symbolic.hpp
internal / expression_transform.hpp	computation_context.hpp
internal / expression_transform.hpp	symbolic.hpp
facts_query.cpp	computation_context.hpp
internal / facts_query.hpp	assumption.hpp
internal / facts_query.hpp	result.hpp
facts_query_adapters.cpp	computation_context.hpp
facts_query_rational.cpp	computation_context.hpp
internal / fglm_internal.hpp	fglm.hpp
fglm_polynomial.cpp	fglm.hpp
hensel_lift.cpp	exact_factorization.hpp
inequality_solver.cpp	inequality_solver.hpp
inequality_solver.cpp	newton_raphson.hpp
inequality_solver.cpp	numeric_evaluation.hpp
inequality_solver.cpp	poly_utils.hpp
inequality_solver.cpp	root_of_utils.hpp
inequality_solver.cpp	solve_polynomial.hpp
inequality_solver.cpp	solve_strategies.hpp
inequality_solver_numeric.cpp	inequality_solver.hpp
inequality_solver_numeric.cpp	numeric_evaluation.hpp
inequality_solver_numeric.cpp	poly_utils.hpp
inequality_solver_numeric.cpp	solve_polynomial.hpp
inequality_solver_numeric.cpp	solve_strategies.hpp
inequality_solver_polynomial.cpp	inequality_solver.hpp
inequality_solver_polynomial.cpp	newton_raphson.hpp
inequality_solver_polynomial.cpp	poly_utils.hpp
inequality_solver_polynomial.cpp	root_of_utils.hpp
inequality_solver_polynomial.cpp	solve_polynomial.hpp
inequality_solver_polynomial.cpp	solve_strategies.hpp
internal / inequality_solver_support.hpp	computation_context.hpp
internal / inequality_solver_support.hpp	inequality_solver.hpp
internal / inequality_solver_support.hpp	poly_utils.hpp
internal / inference_engine_impl.hpp	assumption_context.hpp
internal / inference_engine_impl.hpp	computation_context.hpp
internal / inference_engine_impl.hpp	inference_engine.hpp
internal / inference_engine_impl.hpp	interval.hpp
internal / inference_engine_impl.hpp	numeric_evaluation.hpp
internal / inference_engine_impl.hpp	property_store.hpp
internal / inference_engine_impl.hpp	relation_store.hpp
integration_definite_algebraic.cpp	polynomial_conversion.hpp
integration_definite_algebraic.cpp	root_of_identity.hpp
integration_definite_segments.cpp	limit_result.hpp
integration_definite_segments.cpp	root_of_identity.hpp
internal / integration_support.hpp	assumption_context.hpp
internal / integration_support.hpp	integration.hpp
internal / integration_support.hpp	matcher.hpp
internal / integration_support.hpp	poly_utils.hpp
internal / integration_support.hpp	polynomial.hpp
internal / integration_support.hpp	solve_polynomial.hpp
integration_trig_substitution.cpp	polynomial_conversion.hpp
internal / interval_endpoint.hpp	interval.hpp
interval_serialization.cpp	interval.hpp
irrational.cpp	irrational.hpp
irrational_arithmetic.cpp	irrational.hpp
irrational_representation.cpp	irrational.hpp
irrational_symbolic.cpp	irrational.hpp
irrational_symbolic.cpp	symbolic.hpp
limit_result.cpp	limit_result.hpp
limit_result.cpp	polynomial_conversion.hpp
limit_result.cpp	symbolic.hpp
limit_visitor_arithmetic.cpp	polynomial_conversion.hpp
limit_visitor_asymptotic.cpp	polynomial_conversion.hpp
limit_visitor_asymptotic.cpp	symbolic.hpp
limit_visitor_composition.cpp	polynomial_conversion.hpp
limit_visitor_direction.cpp	polynomial_conversion.hpp
limit_visitor_direction.cpp	symbolic.hpp
limit_visitor_predicates.cpp	symbolic.hpp
limit_visitor_taylor.cpp	symbolic.hpp
matcher.cpp	matcher.hpp
matrix_decomposition_eigen.cpp	assumption_context.hpp
internal / matrix_decomposition_support.hpp	computation_context.hpp
internal / matrix_decomposition_support.hpp	matrix_decomposition.hpp
matrix_quadratic_form.cpp	matrix_quadratic_form.hpp
mixed_transcendental_classification.cpp	solve_mixed_transcendental.hpp
mixed_transcendental_deduplication.cpp	solve_mixed_transcendental.hpp
mixed_transcendental_search.cpp	solve_mixed_transcendental.hpp
internal / mixed_transcendental_support.hpp	solve_mixed_transcendental.hpp
internal / multivariate_conversion.hpp	multivariate_factor.hpp
multivariate_factor.cpp	multivariate_factor.hpp
multivariate_factor.cpp	transcendental_factor.hpp
internal / multivariate_factor_checked_support.hpp	multivariate_factor.hpp
multivariate_factor_patterns.cpp	multivariate_factor.hpp
internal / multivariate_factor_support.hpp	computation_context.hpp
internal / multivariate_factor_support.hpp	polynomial.hpp
internal / multivariate_factor_support.hpp	result.hpp
multivariate_hensel.cpp	multivariate_factor.hpp
multivariate_hensel.cpp	transcendental_factor.hpp
multivariate_poly.cpp	multivariate_poly.hpp
multivariate_poly_arithmetic.cpp	multivariate_poly.hpp
multivariate_poly_evaluation.cpp	multivariate_poly.hpp
newton_raphson.cpp	newton_raphson.hpp
newton_raphson.cpp	numeric_evaluation.hpp
newton_raphson.cpp	poly_utils.hpp
numeric_evaluation_nodes.cpp	root_of_identity.hpp
internal / numeric_evaluation_support.hpp	numeric_evaluation.hpp
internal / numeric_literal.hpp	result.hpp
internal / numeric_probe.hpp	numeric_evaluation.hpp
numerical_integration.cpp	numerical_integration.hpp
numerical_integration.cpp	symbolic.hpp
ode_advanced.cpp	integrator.hpp
ode_advanced.cpp	limit_result.hpp
ode_advanced.cpp	poly_utils.hpp
ode_advanced.cpp	residual_verification.hpp
ode_advanced.cpp	symbolic.hpp
ode_advanced.cpp	symbolic_ode_engine.hpp
internal / ode_characteristic_roots.hpp	result.hpp
ode_classification.cpp	poly_utils.hpp
ode_classification.cpp	residual_verification.hpp
ode_classification.cpp	symbolic.hpp
ode_classification.cpp	symbolic_ode_engine.hpp
ode_first_order.cpp	integrator.hpp
ode_first_order.cpp	poly_utils.hpp
ode_first_order.cpp	residual_verification.hpp
ode_first_order.cpp	symbolic.hpp
ode_first_order.cpp	symbolic_ode_engine.hpp
ode_frobenius.cpp	limit_result.hpp
ode_frobenius.cpp	poly_utils.hpp
ode_frobenius.cpp	symbolic.hpp
ode_frobenius.cpp	symbolic_ode_engine.hpp
ode_linear.cpp	poly_utils.hpp
ode_linear.cpp	symbolic.hpp
ode_linear.cpp	symbolic_ode_engine.hpp
ode_support.cpp	symbolic.hpp
ode_support.cpp	symbolic_ode_engine.hpp
internal / ode_support.hpp	symbolic_ode_engine.hpp
parametric_solver.cpp	parametric_solver.hpp
parametric_solver.cpp	residual_verification.hpp
parametric_solver_branches.cpp	parametric_solver.hpp
parametric_solver_branches.cpp	poly_utils.hpp
parametric_solver_branches.cpp	residual_verification.hpp
parametric_solver_branches.cpp	solve_strategies.hpp
parametric_solver_branches.cpp	solver.hpp
internal / pointwise_comparison.hpp	assumption.hpp
internal / pointwise_comparison.hpp	residual_verification.hpp
poly_utils.cpp	polynomial_conversion.hpp
internal / polynomial_solver_support.hpp	computation_context.hpp
internal / polynomial_solver_support.hpp	solve_polynomial.hpp
internal / property_store_support.hpp	property_store.hpp
quantity.cpp	quantity.hpp
query_interface.cpp	assumption_context.hpp
query_interface.cpp	inference_engine.hpp
query_interface.cpp	query_interface.hpp
internal / query_support.hpp	query_interface.hpp
rational.cpp	rational.hpp
rational_parsing.cpp	rational.hpp
rational_polynomial.cpp	rational_polynomial.hpp
rational_polynomial_recognition.cpp	polynomial_conversion.hpp
rational_representation.cpp	rational.hpp
rational_roots.cpp	rational.hpp
rational_square_free.cpp	exact_factorization.hpp
rational_square_free.cpp	rational_polynomial.hpp
relation_store.cpp	property_store.hpp
relation_store.cpp	relation_store.hpp
residual_comparison.cpp	residual_verification.hpp
residual_verification.cpp	irrational.hpp
residual_verification.cpp	multivariate_poly.hpp
residual_verification.cpp	poly_utils.hpp
residual_verification.cpp	residual_verification.hpp
internal / rewrite_budget.hpp	computation_context.hpp
rewrite_engine.cpp	matcher.hpp
root_of_identity.cpp	polynomial_conversion.hpp
root_of_identity.cpp	root_of_identity.hpp
root_of_utils.cpp	root_of_utils.hpp
root_of_utils.cpp	solve_polynomial.hpp
series_convergence.cpp	limit_result.hpp
series_convergence.cpp	series_engine.hpp
series_convergence.cpp	symbolic.hpp
series_engine.cpp	integration.hpp
series_engine.cpp	series_engine.hpp
series_engine.cpp	symbolic.hpp
series_expansions.cpp	limit_result.hpp
series_expansions.cpp	polynomial_conversion.hpp
series_expansions.cpp	series_engine.hpp
series_expansions.cpp	symbolic.hpp
series_sequence_limits.cpp	limit_result.hpp
series_sequence_limits.cpp	series_engine.hpp
series_sequence_limits.cpp	symbolic.hpp
internal / series_support.hpp	lmcas_export.hpp
internal / series_support.hpp	result.hpp
solve_mixed_transcendental.cpp	newton_raphson.hpp
solve_mixed_transcendental.cpp	numeric_evaluation.hpp
solve_mixed_transcendental.cpp	poly_utils.hpp
solve_mixed_transcendental.cpp	residual_verification.hpp
solve_mixed_transcendental.cpp	solve_mixed_transcendental.hpp
solve_mixed_transcendental.cpp	solve_polynomial.hpp
solve_mixed_transcendental.cpp	solve_transcendental.hpp
solve_polynomial.cpp	root_of_utils.hpp
solve_polynomial_cubic.cpp	rational_polynomial.hpp
solve_polynomial_cubic.cpp	root_of_identity.hpp
solve_solution_finalization.cpp	assumption_context.hpp
solve_solution_finalization.cpp	residual_verification.hpp
solve_solution_finalization.cpp	root_of_utils.hpp
solve_transcendental.cpp	poly_utils.hpp
solve_transcendental.cpp	residual_verification.hpp
solve_transcendental.cpp	solve_polynomial.hpp
solve_transcendental.cpp	solve_strategies.hpp
solve_transcendental.cpp	solve_transcendental.hpp
solve_visitor.cpp	assumption_context.hpp
solve_visitor.cpp	newton_raphson.hpp
solve_visitor.cpp	parametric_solver.hpp
solve_visitor.cpp	poly_utils.hpp
solve_visitor.cpp	rational_polynomial.hpp
solve_visitor.cpp	residual_verification.hpp
solve_visitor.cpp	root_of_utils.hpp
solve_visitor.cpp	solve_mixed_transcendental.hpp
solve_visitor.cpp	solve_polynomial.hpp
solve_visitor.cpp	solve_strategies.hpp
solve_visitor.cpp	solve_transcendental.hpp
solve_visitor.cpp	solver.hpp
solve_visitor.cpp	symbolic.hpp
solver_assumptions.cpp	assumption_context.hpp
solver_assumptions.cpp	poly_utils.hpp
solver_assumptions.cpp	solve_strategies.hpp
solver_assumptions.cpp	solver.hpp
solver_groebner.cpp	solver.hpp
internal / solver_groebner_internal.hpp	rational.hpp
internal / solver_groebner_internal.hpp	symbolic.hpp
solver_groebner_system.cpp	fglm.hpp
solver_groebner_system.cpp	poly_utils.hpp
solver_groebner_system.cpp	residual_verification.hpp
solver_groebner_system.cpp	solve_strategies.hpp
solver_groebner_system.cpp	solver.hpp
solver_linear.cpp	assumption_context.hpp
solver_linear.cpp	poly_utils.hpp
solver_linear.cpp	solver.hpp
internal / solver_support.hpp	symbolic.hpp
symbolic_algebra_adapter.cpp	poly_utils.hpp
symbolic_cancel.cpp	poly_utils.hpp
symbolic_cancel.cpp	symbolic.hpp
symbolic_complex.cpp	symbolic.hpp
symbolic_complex.cpp	symbolic_complex.hpp
symbolic_construction.cpp	root_of_identity.hpp
symbolic_construction.cpp	symbolic.hpp
symbolic_core.cpp	matcher.hpp
symbolic_core.cpp	numeric_evaluation.hpp
symbolic_core.cpp	root_of_identity.hpp
symbolic_core.cpp	symbolic.hpp
symbolic_factor.cpp	multivariate_factor.hpp
symbolic_factor.cpp	poly_utils.hpp
symbolic_factor.cpp	solve_polynomial.hpp
symbolic_factor.cpp	solve_strategies.hpp
symbolic_factor.cpp	symbolic.hpp
symbolic_factor.cpp	transcendental_factor.hpp
symbolic_gcd.cpp	multivariate_factor.hpp
symbolic_gcd.cpp	poly_utils.hpp
symbolic_geometry.cpp	symbolic.hpp
symbolic_geometry.cpp	symbolic_geometry.hpp
symbolic_geometry_line.cpp	numeric_evaluation.hpp
symbolic_geometry_line.cpp	symbolic_geometry_line_plane.hpp
symbolic_geometry_line_plane.cpp	numeric_evaluation.hpp
symbolic_geometry_line_plane.cpp	symbolic_geometry_line_plane.hpp
symbolic_geometry_plane.cpp	numeric_evaluation.hpp
symbolic_geometry_plane.cpp	symbolic_geometry_line_plane.hpp
symbolic_geometry_quadric.cpp	symbolic_geometry_quadric.hpp
symbolic_geometry_support.cpp	numeric_evaluation.hpp
internal / symbolic_geometry_support.hpp	computation_context.hpp
internal / symbolic_geometry_support.hpp	symbolic_geometry_line_plane.hpp
internal / symbolic_geometry_support.hpp	symbolic_geometry_quadric.hpp
symbolic_geometry_surface.cpp	numeric_evaluation.hpp
symbolic_geometry_surface.cpp	symbolic_geometry_surface.hpp
symbolic_geometry_vector.cpp	numeric_evaluation.hpp
symbolic_geometry_vector.cpp	symbolic_geometry_vector.hpp
symbolic_implicit_diff.cpp	symbolic_implicit_diff.hpp
symbolic_matrix_eigen.cpp	assumption_context.hpp
symbolic_matrix_eigen.cpp	solve_strategies.hpp
internal / symbolic_matrix_support.hpp	symbolic_matrix.hpp
symbolic_ode.cpp	assumption_context.hpp
symbolic_ode.cpp	integrator.hpp
symbolic_ode.cpp	symbolic.hpp
symbolic_ode.cpp	symbolic_ode.hpp
symbolic_ode.cpp	symbolic_ode_engine.hpp
symbolic_quadric_classification.cpp	numeric_evaluation.hpp
internal / symbolic_quadric_classification.hpp	symbolic_geometry_quadric.hpp
symbolic_set.cpp	symbolic_set.hpp
transcendental_factor.cpp	poly_utils.hpp
transcendental_factor.cpp	transcendental_factor.hpp
transcendental_inversion.cpp	assumption_context.hpp
transcendental_inversion.cpp	poly_utils.hpp
transcendental_inversion.cpp	solve_polynomial.hpp
transcendental_polynomial.cpp	poly_utils.hpp
transcendental_polynomial.cpp	transcendental_factor.hpp
transcendental_solver_substitution.cpp	poly_utils.hpp
transcendental_solver_substitution.cpp	solve_transcendental.hpp
internal / transcendental_solver_support.hpp	assumption.hpp
internal / transcendental_solver_support.hpp	computation_context.hpp
internal / transcendental_solver_support.hpp	solve_transcendental.hpp
transcendental_substitution.cpp	poly_utils.hpp
transcendental_substitution.cpp	transcendental_factor.hpp
internal / transcendental_support.hpp	computation_context.hpp
internal / transcendental_support.hpp	transcendental_factor.hpp
transform_fourier.cpp	assumption_context.hpp
transform_fourier.cpp	inference_engine.hpp
transform_fourier.cpp	residual_verification.hpp
transform_inverse_laplace.cpp	residual_verification.hpp
internal / transform_support.hpp	transform_engine.hpp
unit.cpp	unit.hpp
univariate_factor_bridge.cpp	exact_factorization.hpp
value.cpp	numeric_evaluation.hpp
value.cpp	value.hpp
value_facade.cpp	expr.hpp
vector_calculus_algebra.cpp	vector_calculus_vectors.hpp
vector_calculus_curves.cpp	integration.hpp
vector_calculus_curves.cpp	vector_calculus_curves.hpp
vector_calculus_differential.cpp	vector_calculus_differential.hpp
vector_calculus_directional.cpp	vector_calculus_differential.hpp
vector_calculus_extrema.cpp	integration.hpp
vector_calculus_extrema.cpp	numeric_evaluation.hpp
vector_calculus_extrema.cpp	solve_strategies.hpp
vector_calculus_extrema.cpp	solver.hpp
vector_calculus_extrema.cpp	symbolic_matrix.hpp
vector_calculus_extrema.cpp	vector_calculus_extrema.hpp
vector_calculus_extrema.cpp	vector_calculus_matrices.hpp
vector_calculus_integral_api.cpp	integration.hpp
vector_calculus_integral_api.cpp	vector_calculus_differential.hpp
vector_calculus_integral_api.cpp	vector_calculus_theorems.hpp
vector_calculus_integrals.cpp	integration.hpp
vector_calculus_integrals.cpp	numeric_evaluation.hpp
vector_calculus_integrals.cpp	residual_verification.hpp
vector_calculus_integrals.cpp	solver.hpp
vector_calculus_lagrange.cpp	integration.hpp
vector_calculus_lagrange.cpp	numeric_evaluation.hpp
vector_calculus_lagrange.cpp	residual_verification.hpp
vector_calculus_lagrange.cpp	solve_strategies.hpp
vector_calculus_lagrange.cpp	solver.hpp
vector_calculus_lagrange.cpp	symbolic_matrix.hpp
vector_calculus_lagrange.cpp	vector_calculus_extrema.hpp
vector_calculus_matrices.cpp	vector_calculus_matrices.hpp
vector_calculus_support.cpp	numeric_evaluation.hpp
vector_calculus_support.cpp	solver.hpp
internal / vector_calculus_support.hpp	vector_calculus_types.hpp
vector_calculus_surfaces.cpp	integration.hpp
vector_calculus_surfaces.cpp	vector_calculus_surfaces.hpp
zassenhaus_combine.cpp	exact_factorization.hpp
internal / symbolic_ast / base.hpp	lmcas_export.hpp
internal / symbolic_ast / base.hpp	symbolic.hpp
internal / symbolic_ast / base.hpp	rational.hpp
internal / symbolic_ast / base.hpp	bigint.hpp
internal / symbolic_ast / base.hpp	unit.hpp
internal / symbolic_ast / special_forms.hpp	limit_direction.hpp
internal / visitors / limit_visitor.hpp	lmcas_export.hpp
internal / visitors / limit_visitor.hpp	computation_context.hpp
internal / visitors / limit_visitor.hpp	assumption_context.hpp
internal / visitors / print_visitor.hpp	lmcas_export.hpp