[package]
edition = "2024"
rust-version = "1.93.0"
name = "symplex"
version = "0.2.0"
build = false
exclude = [
"/book",
"/probes",
"/scripts",
"/.github",
"/fuzz",
"/symplex-wasm",
"/*.log",
]
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Exact symbolic mathematics for Rust: calculus, summation, solving, linear algebra, transforms, compile-time dimensional analysis, and Rust/C code generation"
homepage = "https://github.com/cgorski/symplex"
documentation = "https://docs.rs/symplex"
readme = "README.md"
keywords = [
"symbolic",
"math",
"cas",
"codegen",
"robotics",
]
categories = [
"mathematics",
"science",
"development-tools::build-utils",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/cgorski/symplex"
[lib]
name = "symplex"
path = "src/lib.rs"
[[example]]
name = "c_codegen"
path = "examples/c_codegen.rs"
[[example]]
name = "calculus"
path = "examples/calculus.rs"
[[example]]
name = "combinatorics_counting"
path = "examples/combinatorics_counting.rs"
[[example]]
name = "complex_analysis"
path = "examples/complex_analysis.rs"
[[example]]
name = "complex_numbers"
path = "examples/complex_numbers.rs"
[[example]]
name = "control_system"
path = "examples/control_system.rs"
[[example]]
name = "crypto_rsa"
path = "examples/crypto_rsa.rs"
[[example]]
name = "definite_integration"
path = "examples/definite_integration.rs"
[[example]]
name = "dynamics"
path = "examples/dynamics.rs"
[[example]]
name = "equation_solving"
path = "examples/equation_solving.rs"
[[example]]
name = "factoring_and_ntheory"
path = "examples/factoring_and_ntheory.rs"
[[example]]
name = "gradient_descent"
path = "examples/gradient_descent.rs"
[[example]]
name = "inverse_kinematics"
path = "examples/inverse_kinematics.rs"
[[example]]
name = "laplace_transforms"
path = "examples/laplace_transforms.rs"
[[example]]
name = "latex_output"
path = "examples/latex_output.rs"
[[example]]
name = "linear_systems_and_ivp"
path = "examples/linear_systems_and_ivp.rs"
[[example]]
name = "matrix_algebra"
path = "examples/matrix_algebra.rs"
[[example]]
name = "matrix_decompositions"
path = "examples/matrix_decompositions.rs"
[[example]]
name = "number_theory"
path = "examples/number_theory.rs"
[[example]]
name = "ode_solving"
path = "examples/ode_solving.rs"
[[example]]
name = "optimization"
path = "examples/optimization.rs"
[[example]]
name = "physics_constants"
path = "examples/physics_constants.rs"
[[example]]
name = "pid_controller"
path = "examples/pid_controller.rs"
[[example]]
name = "quickstart"
path = "examples/quickstart.rs"
[[example]]
name = "readme_snippets"
path = "examples/readme_snippets.rs"
[[example]]
name = "repl"
path = "examples/repl.rs"
[[example]]
name = "robotics_codegen"
path = "examples/robotics_codegen.rs"
[[example]]
name = "rule_engine"
path = "examples/rule_engine.rs"
[[example]]
name = "sets_and_logic"
path = "examples/sets_and_logic.rs"
[[example]]
name = "signal_filter"
path = "examples/signal_filter.rs"
[[example]]
name = "summation_and_series"
path = "examples/summation_and_series.rs"
[[example]]
name = "transforms"
path = "examples/transforms.rs"
[[example]]
name = "units_electrical"
path = "examples/units_electrical.rs"
[[example]]
name = "units_engineering"
path = "examples/units_engineering.rs"
[[example]]
name = "units_kinematics"
path = "examples/units_kinematics.rs"
[[example]]
name = "units_lagrangian"
path = "examples/units_lagrangian.rs"
[[example]]
name = "units_physics"
path = "examples/units_physics.rs"
[[test]]
name = "bugfinder1_edge_cases"
path = "tests/bugfinder1_edge_cases.rs"
[[test]]
name = "bugfinder2_consistency"
path = "tests/bugfinder2_consistency.rs"
[[test]]
name = "crt_overflow_validation"
path = "tests/crt_overflow_validation.rs"
[[test]]
name = "fixpoint_convergence_test"
path = "tests/fixpoint_convergence_test.rs"
[[test]]
name = "infinity_pow_validation"
path = "tests/infinity_pow_validation.rs"
[[test]]
name = "limit_heuristic_validation"
path = "tests/limit_heuristic_validation.rs"
[[test]]
name = "math1_calculus_bugs"
path = "tests/math1_calculus_bugs.rs"
[[test]]
name = "math2_algebra_bugs"
path = "tests/math2_algebra_bugs.rs"
[[test]]
name = "math3_linalg_ntheory_bugs"
path = "tests/math3_linalg_ntheory_bugs.rs"
[[test]]
name = "perf_analysis"
path = "tests/perf_analysis.rs"
[[test]]
name = "proptest_algebraic"
path = "tests/proptest_algebraic.rs"
[[test]]
name = "proptest_bounded"
path = "tests/proptest_bounded.rs"
[[test]]
name = "proptest_canon"
path = "tests/proptest_canon.rs"
[[test]]
name = "proptest_roundtrips"
path = "tests/proptest_roundtrips.rs"
[[test]]
name = "proptest_stress"
path = "tests/proptest_stress.rs"
[[test]]
name = "proptest_transforms"
path = "tests/proptest_transforms.rs"
[[test]]
name = "proptest_verification"
path = "tests/proptest_verification.rs"
[[test]]
name = "pythagorean_scaling_validation"
path = "tests/pythagorean_scaling_validation.rs"
[[test]]
name = "regular_joe_tests"
path = "tests/regular_joe_tests.rs"
[[test]]
name = "round2_calculus_deep"
path = "tests/round2_calculus_deep.rs"
[[test]]
name = "round2_codegen_bugs"
path = "tests/round2_codegen_bugs.rs"
[[test]]
name = "round2_domains"
path = "tests/round2_domains.rs"
[[test]]
name = "round2_poly_solver"
path = "tests/round2_poly_solver.rs"
[[test]]
name = "round2_simplify_bugs"
path = "tests/round2_simplify_bugs.rs"
[[test]]
name = "round2_stress"
path = "tests/round2_stress.rs"
[[test]]
name = "round3_api_misuse"
path = "tests/round3_api_misuse.rs"
[[test]]
name = "round3_differential"
path = "tests/round3_differential.rs"
[[test]]
name = "round3_parser_fuzz"
path = "tests/round3_parser_fuzz.rs"
[[test]]
name = "round3_properties"
path = "tests/round3_properties.rs"
[[test]]
name = "round3_untested_modules"
path = "tests/round3_untested_modules.rs"
[[test]]
name = "round4_extreme"
path = "tests/round4_extreme.rs"
[[test]]
name = "simplify_perf_test"
path = "tests/simplify_perf_test.rs"
[[test]]
name = "test_advanced"
path = "tests/test_advanced.rs"
[[test]]
name = "test_advanced_control"
path = "tests/test_advanced_control.rs"
[[test]]
name = "test_alpha_fixes"
path = "tests/test_alpha_fixes.rs"
[[test]]
name = "test_api_coverage"
path = "tests/test_api_coverage.rs"
[[test]]
name = "test_apply_diff"
path = "tests/test_apply_diff.rs"
[[test]]
name = "test_arb_prec_special"
path = "tests/test_arb_prec_special.rs"
[[test]]
name = "test_assume_queries"
path = "tests/test_assume_queries.rs"
[[test]]
name = "test_bareiss"
path = "tests/test_bareiss.rs"
[[test]]
name = "test_bug_regression"
path = "tests/test_bug_regression.rs"
[[test]]
name = "test_calculus_parity"
path = "tests/test_calculus_parity.rs"
[[test]]
name = "test_calculus_util"
path = "tests/test_calculus_util.rs"
[[test]]
name = "test_codegen"
path = "tests/test_codegen.rs"
[[test]]
name = "test_codegen_advanced"
path = "tests/test_codegen_advanced.rs"
[[test]]
name = "test_codegen_numopt"
path = "tests/test_codegen_numopt.rs"
[[test]]
name = "test_codegen_quality"
path = "tests/test_codegen_quality.rs"
[[test]]
name = "test_collect_together"
path = "tests/test_collect_together.rs"
[[test]]
name = "test_combinatorial"
path = "tests/test_combinatorial.rs"
[[test]]
name = "test_compact"
path = "tests/test_compact.rs"
[[test]]
name = "test_complex"
path = "tests/test_complex.rs"
[[test]]
name = "test_concrete"
path = "tests/test_concrete.rs"
[[test]]
name = "test_concurrency"
path = "tests/test_concurrency.rs"
[[test]]
name = "test_control"
path = "tests/test_control.rs"
[[test]]
name = "test_convenience"
path = "tests/test_convenience.rs"
[[test]]
name = "test_correctness_audit"
path = "tests/test_correctness_audit.rs"
[[test]]
name = "test_cross_context"
path = "tests/test_cross_context.rs"
[[test]]
name = "test_cubic_quartic"
path = "tests/test_cubic_quartic.rs"
[[test]]
name = "test_cycle11"
path = "tests/test_cycle11.rs"
[[test]]
name = "test_cycle7_8"
path = "tests/test_cycle7_8.rs"
[[test]]
name = "test_cycle9_10"
path = "tests/test_cycle9_10.rs"
[[test]]
name = "test_data_export"
path = "tests/test_data_export.rs"
[[test]]
name = "test_definite_poly"
path = "tests/test_definite_poly.rs"
[[test]]
name = "test_delta_laplace_depth"
path = "tests/test_delta_laplace_depth.rs"
[[test]]
name = "test_dim_macro"
path = "tests/test_dim_macro.rs"
[[test]]
name = "test_display_quality"
path = "tests/test_display_quality.rs"
[[test]]
name = "test_dynamics"
path = "tests/test_dynamics.rs"
[[test]]
name = "test_dynamics_scale"
path = "tests/test_dynamics_scale.rs"
[[test]]
name = "test_equation"
path = "tests/test_equation.rs"
[[test]]
name = "test_ergonomics"
path = "tests/test_ergonomics.rs"
[[test]]
name = "test_evalf_arb_prec"
path = "tests/test_evalf_arb_prec.rs"
[[test]]
name = "test_evalf_gaps"
path = "tests/test_evalf_gaps.rs"
[[test]]
name = "test_evalf_special"
path = "tests/test_evalf_special.rs"
[[test]]
name = "test_expand_convenience"
path = "tests/test_expand_convenience.rs"
[[test]]
name = "test_expr_fraction"
path = "tests/test_expr_fraction.rs"
[[test]]
name = "test_expr_view"
path = "tests/test_expr_view.rs"
[[test]]
name = "test_factoring_boundaries"
path = "tests/test_factoring_boundaries.rs"
[[test]]
name = "test_finite_diff"
path = "tests/test_finite_diff.rs"
[[test]]
name = "test_floor_ceil_minmax"
path = "tests/test_floor_ceil_minmax.rs"
[[test]]
name = "test_formal_series"
path = "tests/test_formal_series.rs"
[[test]]
name = "test_foundations"
path = "tests/test_foundations.rs"
[[test]]
name = "test_fu"
path = "tests/test_fu.rs"
[[test]]
name = "test_full_simplify"
path = "tests/test_full_simplify.rs"
[[test]]
name = "test_gaussian_laplace"
path = "tests/test_gaussian_laplace.rs"
[[test]]
name = "test_gc_plus"
path = "tests/test_gc_plus.rs"
[[test]]
name = "test_gosper"
path = "tests/test_gosper.rs"
[[test]]
name = "test_groebner"
path = "tests/test_groebner.rs"
[[test]]
name = "test_hard_math"
path = "tests/test_hard_math.rs"
[[test]]
name = "test_heaviside_integ"
path = "tests/test_heaviside_integ.rs"
[[test]]
name = "test_hensel"
path = "tests/test_hensel.rs"
[[test]]
name = "test_heurisch"
path = "tests/test_heurisch.rs"
[[test]]
name = "test_inequalities"
path = "tests/test_inequalities.rs"
[[test]]
name = "test_integrate"
path = "tests/test_integrate.rs"
[[test]]
name = "test_integration_advanced"
path = "tests/test_integration_advanced.rs"
[[test]]
name = "test_integration_fix"
path = "tests/test_integration_fix.rs"
[[test]]
name = "test_integration_gaps"
path = "tests/test_integration_gaps.rs"
[[test]]
name = "test_known_answers"
path = "tests/test_known_answers.rs"
[[test]]
name = "test_lambertw"
path = "tests/test_lambertw.rs"
[[test]]
name = "test_laplace"
path = "tests/test_laplace.rs"
[[test]]
name = "test_limits"
path = "tests/test_limits.rs"
[[test]]
name = "test_limits_infinity"
path = "tests/test_limits_infinity.rs"
[[test]]
name = "test_linalg"
path = "tests/test_linalg.rs"
[[test]]
name = "test_linear_systems"
path = "tests/test_linear_systems.rs"
[[test]]
name = "test_log_to_real"
path = "tests/test_log_to_real.rs"
[[test]]
name = "test_logic_ext"
path = "tests/test_logic_ext.rs"
[[test]]
name = "test_logic_piecewise"
path = "tests/test_logic_piecewise.rs"
[[test]]
name = "test_macro_improvements"
path = "tests/test_macro_improvements.rs"
[[test]]
name = "test_macro_new_funcs"
path = "tests/test_macro_new_funcs.rs"
[[test]]
name = "test_macros"
path = "tests/test_macros.rs"
[[test]]
name = "test_math_depth"
path = "tests/test_math_depth.rs"
[[test]]
name = "test_math_rules"
path = "tests/test_math_rules.rs"
[[test]]
name = "test_matrix_codegen"
path = "tests/test_matrix_codegen.rs"
[[test]]
name = "test_matrix_decomp"
path = "tests/test_matrix_decomp.rs"
[[test]]
name = "test_matrix_exp"
path = "tests/test_matrix_exp.rs"
[[test]]
name = "test_matrix_linalg"
path = "tests/test_matrix_linalg.rs"
[[test]]
name = "test_matrix_ode"
path = "tests/test_matrix_ode.rs"
[[test]]
name = "test_multinomial"
path = "tests/test_multinomial.rs"
[[test]]
name = "test_multipoly"
path = "tests/test_multipoly.rs"
[[test]]
name = "test_new_api"
path = "tests/test_new_api.rs"
[[test]]
name = "test_new_math"
path = "tests/test_new_math.rs"
[[test]]
name = "test_new_rules"
path = "tests/test_new_rules.rs"
[[test]]
name = "test_ntheory"
path = "tests/test_ntheory.rs"
[[test]]
name = "test_numerical_validation"
path = "tests/test_numerical_validation.rs"
[[test]]
name = "test_ode_advanced"
path = "tests/test_ode_advanced.rs"
[[test]]
name = "test_ode_comprehensive"
path = "tests/test_ode_comprehensive.rs"
[[test]]
name = "test_ode_coverage"
path = "tests/test_ode_coverage.rs"
[[test]]
name = "test_ode_depth"
path = "tests/test_ode_depth.rs"
[[test]]
name = "test_ode_expanded"
path = "tests/test_ode_expanded.rs"
[[test]]
name = "test_ode_extra"
path = "tests/test_ode_extra.rs"
[[test]]
name = "test_ode_public"
path = "tests/test_ode_public.rs"
[[test]]
name = "test_ode_systems"
path = "tests/test_ode_systems.rs"
[[test]]
name = "test_panel_fixes"
path = "tests/test_panel_fixes.rs"
[[test]]
name = "test_parametric_integration"
path = "tests/test_parametric_integration.rs"
[[test]]
name = "test_parser"
path = "tests/test_parser.rs"
[[test]]
name = "test_perf_infra"
path = "tests/test_perf_infra.rs"
[[test]]
name = "test_physical_constants"
path = "tests/test_physical_constants.rs"
[[test]]
name = "test_piecewise_integ"
path = "tests/test_piecewise_integ.rs"
[[test]]
name = "test_plotting"
path = "tests/test_plotting.rs"
[[test]]
name = "test_poly_refactor"
path = "tests/test_poly_refactor.rs"
[[test]]
name = "test_polysys"
path = "tests/test_polysys.rs"
[[test]]
name = "test_polysys_irrational"
path = "tests/test_polysys_irrational.rs"
[[test]]
name = "test_proptest_new"
path = "tests/test_proptest_new.rs"
[[test]]
name = "test_quality_props"
path = "tests/test_quality_props.rs"
[[test]]
name = "test_quaternion"
path = "tests/test_quaternion.rs"
[[test]]
name = "test_radsimp_limits"
path = "tests/test_radsimp_limits.rs"
[[test]]
name = "test_rational_integration"
path = "tests/test_rational_integration.rs"
[[test]]
name = "test_recip_trig"
path = "tests/test_recip_trig.rs"
[[test]]
name = "test_risch_e2e"
path = "tests/test_risch_e2e.rs"
[[test]]
name = "test_robotics"
path = "tests/test_robotics.rs"
[[test]]
name = "test_rootof"
path = "tests/test_rootof.rs"
[[test]]
name = "test_rothstein_trager"
path = "tests/test_rothstein_trager.rs"
[[test]]
name = "test_rule_application"
path = "tests/test_rule_application.rs"
[[test]]
name = "test_rule_macro_new"
path = "tests/test_rule_macro_new.rs"
[[test]]
name = "test_sampling"
path = "tests/test_sampling.rs"
[[test]]
name = "test_sc_fixes"
path = "tests/test_sc_fixes.rs"
[[test]]
name = "test_serde_roundtrip"
path = "tests/test_serde_roundtrip.rs"
[[test]]
name = "test_series_comprehensive"
path = "tests/test_series_comprehensive.rs"
[[test]]
name = "test_series_ext"
path = "tests/test_series_ext.rs"
[[test]]
name = "test_series_factor"
path = "tests/test_series_factor.rs"
[[test]]
name = "test_sets"
path = "tests/test_sets.rs"
[[test]]
name = "test_sign_cancel_bug"
path = "tests/test_sign_cancel_bug.rs"
[[test]]
name = "test_simp_depth"
path = "tests/test_simp_depth.rs"
[[test]]
name = "test_simp_improvements"
path = "tests/test_simp_improvements.rs"
[[test]]
name = "test_simplify"
path = "tests/test_simplify.rs"
[[test]]
name = "test_size_assertions"
path = "tests/test_size_assertions.rs"
[[test]]
name = "test_solve_cancel"
path = "tests/test_solve_cancel.rs"
[[test]]
name = "test_solve_trig"
path = "tests/test_solve_trig.rs"
[[test]]
name = "test_solver_utils"
path = "tests/test_solver_utils.rs"
[[test]]
name = "test_special_elem"
path = "tests/test_special_elem.rs"
[[test]]
name = "test_special_extended"
path = "tests/test_special_extended.rs"
[[test]]
name = "test_special_funcs"
path = "tests/test_special_funcs.rs"
[[test]]
name = "test_special_values"
path = "tests/test_special_values.rs"
[[test]]
name = "test_sprint_integration"
path = "tests/test_sprint_integration.rs"
[[test]]
name = "test_sqrt_quadratic"
path = "tests/test_sqrt_quadratic.rs"
[[test]]
name = "test_stage1"
path = "tests/test_stage1.rs"
[[test]]
name = "test_stage3"
path = "tests/test_stage3.rs"
[[test]]
name = "test_stage5"
path = "tests/test_stage5.rs"
[[test]]
name = "test_stage6"
path = "tests/test_stage6.rs"
[[test]]
name = "test_stage7_8"
path = "tests/test_stage7_8.rs"
[[test]]
name = "test_stripper_collector"
path = "tests/test_stripper_collector.rs"
[[test]]
name = "test_sturm"
path = "tests/test_sturm.rs"
[[test]]
name = "test_sum_closed"
path = "tests/test_sum_closed.rs"
[[test]]
name = "test_sympy_cross_validation"
path = "tests/test_sympy_cross_validation.rs"
[[test]]
name = "test_trig_hyp"
path = "tests/test_trig_hyp.rs"
[[test]]
name = "test_trig_power_integ"
path = "tests/test_trig_power_integ.rs"
[[test]]
name = "test_type_gating"
path = "tests/test_type_gating.rs"
[[test]]
name = "test_units_comprehensive"
path = "tests/test_units_comprehensive.rs"
[[test]]
name = "test_units_proptest"
path = "tests/test_units_proptest.rs"
[[test]]
name = "test_vector_calc"
path = "tests/test_vector_calc.rs"
[[test]]
name = "test_workflows"
path = "tests/test_workflows.rs"
[[test]]
name = "test_z_transform"
path = "tests/test_z_transform.rs"
[[test]]
name = "ui_tests"
path = "tests/ui_tests.rs"
[[test]]
name = "v02_backends_c"
path = "tests/v02_backends_c.rs"
[[test]]
name = "v02_backends_codegen"
path = "tests/v02_backends_codegen.rs"
[[test]]
name = "v02_backends_compile"
path = "tests/v02_backends_compile.rs"
[[test]]
name = "v02_backends_cse"
path = "tests/v02_backends_cse.rs"
[[test]]
name = "v02_basefix_assumptions"
path = "tests/v02_basefix_assumptions.rs"
[[test]]
name = "v02_basefix_canon"
path = "tests/v02_basefix_canon.rs"
[[test]]
name = "v02_basefix_deep"
path = "tests/v02_basefix_deep.rs"
[[test]]
name = "v02_basefix_display"
path = "tests/v02_basefix_display.rs"
[[test]]
name = "v02_basefix_eval"
path = "tests/v02_basefix_eval.rs"
[[test]]
name = "v02_basefix_evalf"
path = "tests/v02_basefix_evalf.rs"
[[test]]
name = "v02_basefix_free_symbols"
path = "tests/v02_basefix_free_symbols.rs"
[[test]]
name = "v02_basefix_nroots"
path = "tests/v02_basefix_nroots.rs"
[[test]]
name = "v02_basefix_perf"
path = "tests/v02_basefix_perf.rs"
[[test]]
name = "v02_basefix_radicals"
path = "tests/v02_basefix_radicals.rs"
[[test]]
name = "v02_defint_node"
path = "tests/v02_defint_node.rs"
[[test]]
name = "v02_ergonomics_compare"
path = "tests/v02_ergonomics_compare.rs"
[[test]]
name = "v02_ergonomics_equation"
path = "tests/v02_ergonomics_equation.rs"
[[test]]
name = "v02_ergonomics_ingest"
path = "tests/v02_ergonomics_ingest.rs"
[[test]]
name = "v02_ergonomics_plotting"
path = "tests/v02_ergonomics_plotting.rs"
[[test]]
name = "v02_ergonomics_traits"
path = "tests/v02_ergonomics_traits.rs"
[[test]]
name = "v02_integration_battery"
path = "tests/v02_integration_battery.rs"
[[test]]
name = "v02_integration_definite"
path = "tests/v02_integration_definite.rs"
[[test]]
name = "v02_integration_residue"
path = "tests/v02_integration_residue.rs"
[[test]]
name = "v02_matrices_api"
path = "tests/v02_matrices_api.rs"
[[test]]
name = "v02_matrices_control"
path = "tests/v02_matrices_control.rs"
[[test]]
name = "v02_matrices_decomp"
path = "tests/v02_matrices_decomp.rs"
[[test]]
name = "v02_matrices_quaternion"
path = "tests/v02_matrices_quaternion.rs"
[[test]]
name = "v02_matrices_vector"
path = "tests/v02_matrices_vector.rs"
[[test]]
name = "v02_nodes_apply_specials"
path = "tests/v02_nodes_apply_specials.rs"
[[test]]
name = "v02_nodes_complex"
path = "tests/v02_nodes_complex.rs"
[[test]]
name = "v02_nodes_constants"
path = "tests/v02_nodes_constants.rs"
[[test]]
name = "v02_nodes_special"
path = "tests/v02_nodes_special.rs"
[[test]]
name = "v02_ntheory_factor"
path = "tests/v02_ntheory_factor.rs"
[[test]]
name = "v02_ntheory_ntheory"
path = "tests/v02_ntheory_ntheory.rs"
[[test]]
name = "v02_ntheory_polyalg"
path = "tests/v02_ntheory_polyalg.rs"
[[test]]
name = "v02_numfix_api"
path = "tests/v02_numfix_api.rs"
[[test]]
name = "v02_numfix_bessel"
path = "tests/v02_numfix_bessel.rs"
[[test]]
name = "v02_numfix_codegen"
path = "tests/v02_numfix_codegen.rs"
[[test]]
name = "v02_numfix_logic"
path = "tests/v02_numfix_logic.rs"
[[test]]
name = "v02_numfix_macros"
path = "tests/v02_numfix_macros.rs"
[[test]]
name = "v02_numfix_parse"
path = "tests/v02_numfix_parse.rs"
[[test]]
name = "v02_numfix_radicals"
path = "tests/v02_numfix_radicals.rs"
[[test]]
name = "v02_oracle_calculus"
path = "tests/v02_oracle_calculus.rs"
[[test]]
name = "v02_oracle_codegen"
path = "tests/v02_oracle_codegen.rs"
[[test]]
name = "v02_oracle_matrix"
path = "tests/v02_oracle_matrix.rs"
[[test]]
name = "v02_oracle_meta"
path = "tests/v02_oracle_meta.rs"
[[test]]
name = "v02_oracle_new_features"
path = "tests/v02_oracle_new_features.rs"
[[test]]
name = "v02_oracle_ntheory"
path = "tests/v02_oracle_ntheory.rs"
[[test]]
name = "v02_oracle_poly"
path = "tests/v02_oracle_poly.rs"
[[test]]
name = "v02_oracle_sets_logic"
path = "tests/v02_oracle_sets_logic.rs"
[[test]]
name = "v02_oracle_simplify"
path = "tests/v02_oracle_simplify.rs"
[[test]]
name = "v02_oracle_solve"
path = "tests/v02_oracle_solve.rs"
[[test]]
name = "v02_oracle_transforms"
path = "tests/v02_oracle_transforms.rs"
[[test]]
name = "v02_sets_algebra"
path = "tests/v02_sets_algebra.rs"
[[test]]
name = "v02_sets_logic"
path = "tests/v02_sets_logic.rs"
[[test]]
name = "v02_sets_reduce"
path = "tests/v02_sets_reduce.rs"
[[test]]
name = "v02_simplify_gapfill"
path = "tests/v02_simplify_gapfill.rs"
[[test]]
name = "v02_simplify_rules"
path = "tests/v02_simplify_rules.rs"
[[test]]
name = "v02_simplify_subs"
path = "tests/v02_simplify_subs.rs"
[[test]]
name = "v02_solvefix_inequalities"
path = "tests/v02_solvefix_inequalities.rs"
[[test]]
name = "v02_solvefix_polysys"
path = "tests/v02_solvefix_polysys.rs"
[[test]]
name = "v02_solvefix_rsolve"
path = "tests/v02_solvefix_rsolve.rs"
[[test]]
name = "v02_solvefix_series"
path = "tests/v02_solvefix_series.rs"
[[test]]
name = "v02_solving_ode_rsolve"
path = "tests/v02_solving_ode_rsolve.rs"
[[test]]
name = "v02_solving_solve"
path = "tests/v02_solving_solve.rs"
[[test]]
name = "v02_solving_systems"
path = "tests/v02_solving_systems.rs"
[[test]]
name = "v02_summation_engine"
path = "tests/v02_summation_engine.rs"
[[test]]
name = "v02_summation_series"
path = "tests/v02_summation_series.rs"
[[test]]
name = "v02_transforms_fourier"
path = "tests/v02_transforms_fourier.rs"
[[test]]
name = "v02_transforms_laplace"
path = "tests/v02_transforms_laplace.rs"
[[test]]
name = "v02_transforms_limits"
path = "tests/v02_transforms_limits.rs"
[[test]]
name = "v02_transforms_mellin"
path = "tests/v02_transforms_mellin.rs"
[[test]]
name = "v02_transforms_series_z"
path = "tests/v02_transforms_series_z.rs"
[[test]]
name = "zz_probe_tmp"
path = "tests/zz_probe_tmp.rs"
[[bench]]
name = "canonicalization"
path = "benches/canonicalization.rs"
harness = false
[dependencies.astro-float]
version = "0.9"
[dependencies.bitflags]
version = "2.11"
[dependencies.num-bigint]
version = "0.4"
[dependencies.num-integer]
version = "0.1"
[dependencies.num-rational]
version = "0.4"
[dependencies.num-traits]
version = "0.2"
[dependencies.parking_lot]
version = "0.12"
[dependencies.rustc-hash]
version = "2.1"
[dependencies.serde]
version = "1"
features = ["derive"]
[dependencies.serde_json]
version = "1"
[dependencies.smallvec]
version = "1.13"
[dependencies.symplex-macros]
version = "0.2.0"
[dependencies.thiserror]
version = "2.0"
[dependencies.tracing]
version = "0.1"
[dependencies.typenum]
version = "1.19"
[dev-dependencies.criterion]
version = "0.5"
[dev-dependencies.proptest]
version = "1.10"
[dev-dependencies.static_assertions]
version = "1.1"
[dev-dependencies.tracing-subscriber]
version = "0.3"
features = ["env-filter"]
[dev-dependencies.tracing-test]
version = "0.2"
[dev-dependencies.trybuild]
version = "1"