LICENSE
README.md
pyproject.toml
src/semialg/__init__.py
src/semialg/advanced.py
src/semialg/cli.py
src/semialg/connectivity.py
src/semialg/decision_diagnostics.py
src/semialg/diagnostics.py
src/semialg/domain_solve.py
src/semialg/domains.py
src/semialg/equivalence.py
src/semialg/exceptions.py
src/semialg/formula.py
src/semialg/heuristics.py
src/semialg/implicit_utils.py
src/semialg/invariants.py
src/semialg/measure.py
src/semialg/model.py
src/semialg/moments.py
src/semialg/optimization.py
src/semialg/parameter_stratification.py
src/semialg/parameters.py
src/semialg/parametric_integration.py
src/semialg/parser.py
src/semialg/reasoning.py
src/semialg/region_integrate.py
src/semialg/root_classification.py
src/semialg/sampling.py
src/semialg/solution_geometry.py
src/semialg/standard_region_integrate.py
src/semialg/standard_regions.py
src/semialg/status.py
src/semialg/symbolic_simplify.py
src/semialg/tti.py
src/semialg.egg-info/PKG-INFO
src/semialg.egg-info/SOURCES.txt
src/semialg.egg-info/dependency_links.txt
src/semialg.egg-info/entry_points.txt
src/semialg.egg-info/requires.txt
src/semialg.egg-info/top_level.txt
src/semialg/algebraic/__init__.py
src/semialg/algebraic/border_basis.py
src/semialg/algebraic/cache.py
src/semialg/algebraic/comparison.py
src/semialg/algebraic/intervals.py
src/semialg/algebraic/roots.py
src/semialg/algebraic/sample_points.py
src/semialg/algebraic/samples.py
src/semialg/algebraic/signs.py
src/semialg/algebraic/subresultants.py
src/semialg/algebraic/rational_univariate/__init__.py
src/semialg/algebraic/rational_univariate/construction.py
src/semialg/algebraic/rational_univariate/formula.py
src/semialg/algebraic/rational_univariate/quotient.py
src/semialg/algebraic/rational_univariate/representation.py
src/semialg/algebraic/rational_univariate/signs.py
src/semialg/algebraic/rational_univariate/solve.py
src/semialg/backends/__init__.py
src/semialg/backends/brown_ec.py
src/semialg/backends/collins_complete.py
src/semialg/backends/fallback.py
src/semialg/backends/lazard.py
src/semialg/backends/mccallum.py
src/semialg/backends/registry.py
src/semialg/backends/tticad.py
src/semialg/benchmarks/__init__.py
src/semialg/benchmarks/cases.py
src/semialg/benchmarks/results.py
src/semialg/benchmarks/seeded_witnesses.py
src/semialg/cad/__init__.py
src/semialg/cad/cells.py
src/semialg/cad/constants.py
src/semialg/cad/decomposition.py
src/semialg/cad/reduced.py
src/semialg/cad/lifting/__init__.py
src/semialg/cad/lifting/lazard.py
src/semialg/cad/lifting/sign_invariance.py
src/semialg/cad/lifting/stack.py
src/semialg/cad/projection/__init__.py
src/semialg/cad/projection/collins.py
src/semialg/cad/projection/lazard.py
src/semialg/cad/projection/mccallum.py
src/semialg/cad/projection/reduced.py
src/semialg/decision/__init__.py
src/semialg/decision/api.py
src/semialg/decision/sampling_helpers.py
src/semialg/decision/solution.py
src/semialg/decomposition/__init__.py
src/semialg/decomposition/components.py
src/semialg/decomposition/cylindrical.py
src/semialg/decomposition/generic.py
src/semialg/docs/__init__.py
src/semialg/ec/__init__.py
src/semialg/ec/propagation.py
src/semialg/ec/scoring.py
src/semialg/ec/selection.py
src/semialg/experimental/__init__.py
src/semialg/formulas/__init__.py
src/semialg/formulas/boolean.py
src/semialg/generic/__init__.py
src/semialg/generic/exceptional.py
src/semialg/generic/split.py
src/semialg/instances/__init__.py
src/semialg/instances/modular_sampling.py
src/semialg/instances/random_sections.py
src/semialg/instances/real_fallbacks.py
src/semialg/instances/rule_extension.py
src/semialg/instances/witness_generation.py
src/semialg/partial/__init__.py
src/semialg/partial/lazy_lifting.py
src/semialg/partial/pruning.py
src/semialg/partial/qe.py
src/semialg/partial/stop_conditions.py
src/semialg/planner/__init__.py
src/semialg/planner/analyze.py
src/semialg/planner/features.py
src/semialg/planner/heuristics.py
src/semialg/planner/history.py
src/semialg/planner/select.py
src/semialg/planner/strategy_memory.py
src/semialg/preprocess/__init__.py
src/semialg/preprocess/abs.py
src/semialg/preprocess/auxiliary.py
src/semialg/preprocess/branching.py
src/semialg/preprocess/formula_normalize.py
src/semialg/preprocess/groebner.py
src/semialg/preprocess/rational_power.py
src/semialg/preprocess/semialgebraicize.py
src/semialg/proof/__init__.py
src/semialg/proof/delineability.py
src/semialg/proof/lifting_certificate.py
src/semialg/proof/projection_certificate.py
src/semialg/qe/__init__.py
src/semialg/qe/blocks.py
src/semialg/qe/complete.py
src/semialg/qe/prenex.py
src/semialg/qe/witnesses.py
src/semialg/qe/virtual_substitution/__init__.py
src/semialg/qe/virtual_substitution/atoms.py
src/semialg/qe/virtual_substitution/eliminate.py
src/semialg/qe/virtual_substitution/planner.py
src/semialg/qe/virtual_substitution/substitution.py
src/semialg/qe/virtual_substitution/types.py
src/semialg/qe/virtual_substitution/witness.py
src/semialg/reconstruct/__init__.py
src/semialg/reconstruct/cylindrical.py
src/semialg/reconstruct/merge.py
src/semialg/reconstruct/nested.py
src/semialg/reconstruct/radicals.py
src/semialg/reconstruct/root_functions.py
src/semialg/regions/__init__.py
src/semialg/regions/boundary.py
src/semialg/regions/closure.py
src/semialg/regions/common.py
src/semialg/regions/component_samples.py
src/semialg/regions/components.py
src/semialg/regions/instances.py
src/semialg/regions/interior.py
src/semialg/regions/operations.py
src/semialg/reports/__init__.py
src/semialg/reports/dashboard.py
src/semialg/reports/regressions.py
src/semialg/simplify/__init__.py
src/semialg/simplify/atoms.py
src/semialg/simplify/boolean.py
src/semialg/simplify/bounds.py
src/semialg/simplify/cell_union.py
src/semialg/simplify/equality.py
src/semialg/simplify/implication.py
src/semialg/simplify/intervals.py
src/semialg/simplify/result.py
src/semialg/solve/__init__.py
src/semialg/solve/complete.py
src/semialg/solve/domains.py
src/semialg/solve/find_instance.py
src/semialg/solve/preprocess.py
src/semialg/solve/reduce.py
src/semialg/solve/resolve.py
src/semialg/solve/result.py
src/semialg/solve/zero_dimensional.py
src/semialg/solve/integer/__init__.py
src/semialg/solve/integer/congruence.py
src/semialg/solve/integer/diophantine.py
src/semialg/solve/integer/engine.py
src/semialg/solve/integer/factorization.py
src/semialg/solve/integer/families.py
src/semialg/solve/integer/groebner_recursion.py
src/semialg/solve/integer/linear_divisibility.py
src/semialg/solve/integer/linear_recursion.py
src/semialg/solve/integer/modular_quantifier_elimination.py
src/semialg/solve/integer/output_normalization.py
src/semialg/solve/integer/special_families.py
src/semialg/solve/integer/thue.py
src/semialg/solve/transcendental/__init__.py
src/semialg/solve/transcendental/cleanup.py
src/semialg/solve/transcendental/engine.py
src/semialg/solve/transcendental/families.py
src/semialg/solve/transcendental/periodic.py
src/semialg/solve/transcendental/preprocess.py
src/semialg/solve/transcendental/quantifier_elimination.py
src/semialg/solve/transcendental/roots.py
src/semialg/solve/transcendental/state.py
src/semialg/solve/transcendental/system_roots.py
src/semialg/topology/__init__.py
src/semialg/topology/components.py
src/semialg/topology/incidence.py
src/semialg/topology/operations.py
src/semialg/tticad/__init__.py
src/semialg/tticad/families.py
src/semialg/tticad/invariance.py
src/semialg/tticad/lifting.py
src/semialg/tticad/projection.py
src/semialg/tticad/safe.py
src/semialg/univariate/__init__.py
src/semialg/univariate/decomposition.py
src/semialg/univariate/interval_witness.py
src/semialg/validation/__init__.py
src/semialg/validation/backend_crosscheck.py
src/semialg/validation/checkers.py
src/semialg/validation/corpus.py
src/semialg/validation/equivalence.py
src/semialg/validation/minimize.py
src/semialg/validation/random_formulas.py
src/semialg/validation/regression.py
src/semialg/validation/runner.py
src/semialg/validation/solution_checking.py
src/semialg/validation/symmetric_difference.py
src/semialg/validation/witness_verification.py
tests/test_active_reduced_cad.py
tests/test_algebraic_bound_reconstruction.py
tests/test_algebraic_core.py
tests/test_auditable_collins.py
tests/test_boolean_simplification_warnings.py
tests/test_border_basis.py
tests/test_cad_api.py
tests/test_cad_connectivity.py
tests/test_cad_topology.py
tests/test_collins_core.py
tests/test_complete_qe.py
tests/test_complete_qe_interface.py
tests/test_component_instances_api.py
tests/test_cylindrical_solution.py
tests/test_decision_boolean_contracts.py
tests/test_decision_exact_dispatch.py
tests/test_decision_public_contracts.py
tests/test_decision_sampling_contracts.py
tests/test_decision_sign_evaluation.py
tests/test_decision_solving.py
tests/test_domains_options_api.py
tests/test_find_instance_api.py
tests/test_formula_compression.py
tests/test_foundation_contracts.py
tests/test_function_range_metadata.py
tests/test_function_range_qe_image.py
tests/test_function_range_semialgebraic_expr.py
tests/test_generic_cad_api.py
tests/test_generic_decomposition.py
tests/test_higher_dimensional_cylindrical_exploitation.py
tests/test_implicit_utils_and_cylindrical_bounds.py
tests/test_instance_support_packages.py
tests/test_intrinsic_region_measure.py
tests/test_lazy_partial_qe.py
tests/test_multivar_simplify_and_reduced_side_conditions.py
tests/test_optimization.py
tests/test_parameter_conditions.py
tests/test_parameterized_cylindrical_decomposition.py
tests/test_planner_and_repairs.py
tests/test_plot_solution_formula_fallback.py
tests/test_prenex_blocks_witnesses.py
tests/test_public_sampling_sign_api.py
tests/test_rational_univariate.py
tests/test_real_instance_fallbacks.py
tests/test_reasoning.py
tests/test_reduce_region_integral.py
tests/test_reduce_text_implies_warning.py
tests/test_region_integrate.py
tests/test_region_integrate_methods.py
tests/test_region_integration.py
tests/test_region_integration_methods.py
tests/test_region_moments.py
tests/test_region_operations.py
tests/test_region_ops.py
tests/test_root_classification.py
tests/test_rur_vs_edge_cases.py
tests/test_rur_vs_integration.py
tests/test_rur_vs_release_regressions.py
tests/test_safe_reduced_cad.py
tests/test_sampling_strategy_contracts.py
tests/test_semialgebraic_measure.py
tests/test_semialgebraic_preprocessing.py
tests/test_semialgebraic_preprocessing_completion.py
tests/test_semialgebraic_simplify.py
tests/test_solve_semialgebraic_advanced_operations.py
tests/test_solve_semialgebraic_cells.py
tests/test_solve_semialgebraic_components.py
tests/test_solve_semialgebraic_conditions.py
tests/test_solve_semialgebraic_diagnostics_plotting.py
tests/test_solve_semialgebraic_extended.py
tests/test_solve_semialgebraic_metadata.py
tests/test_solve_semialgebraic_reduced_formula.py
tests/test_solve_semialgebraic_sampling.py
tests/test_solve_semialgebraic_set_operations.py
tests/test_standard_region_geometry.py
tests/test_standard_region_integration.py
tests/test_standard_shape_region_integration.py
tests/test_structured_cad_cell_extraction.py
tests/test_subresultant_prs.py
tests/test_symbolic_assumption_simplification.py
tests/test_symbolic_piecewise_systems.py
tests/test_symbolic_relational_atoms.py
tests/test_symbolic_sign_proofs.py
tests/test_symbolic_simplification.py
tests/test_symbolic_simplify.py
tests/test_validation_runner.py
tests/test_virtual_substitution.py
tests/test_virtual_substitution_elimination.py
tests/test_virtual_substitution_planner.py
tests/test_virtual_substitution_witnesses.py
tests/test_zero_dimensional_solver_backend.py