CHANGELOG.md
LICENSE
MANIFEST.in
README.md
mkdocs.yml
pyproject.toml
setup.cfg
.github/workflows/python-package.yml
docs/api_namespaces.md
docs/api_overview.md
docs/applications.md
docs/benchmarks.md
docs/cad_qe.md
docs/changelog.md
docs/convexity.md
docs/decision_procedures.md
docs/feature_matrix.md
docs/function_range.md
docs/geometry_queries.md
docs/getting_started.md
docs/implicit_utilities.md
docs/index.md
docs/known_issues.md
docs/limitations.md
docs/moments.md
docs/optimization.md
docs/parameter_stratification.md
docs/performance-research.md
docs/quantified_expressions.md
docs/references.md
docs/region_integration.md
docs/region_operations.md
docs/root_classification.md
docs/solving.md
docs/symbolic_simplification.md
docs/toric_algebra.md
docs/transcendental_methods.md
docs/architecture/api_naming.md
docs/architecture/api_surface.md
docs/architecture/code_quality.md
docs/architecture/decision_boundaries.md
docs/architecture/design.md
docs/architecture/ownership.md
docs/architecture/quantifier_elimination.md
docs/architecture/region_computation.md
docs/assets/analysis-flow.svg
docs/assets/cad-flow.svg
docs/assets/decision-flow.svg
docs/concepts/algorithm_selection.md
docs/concepts/assumptions_and_uncertainty.md
docs/concepts/cad.md
docs/concepts/certificate_model.md
docs/concepts/computation_flows.md
docs/concepts/decision_pipeline.md
docs/concepts/exactness_and_certification.md
docs/concepts/groebner_variety_cad.md
docs/concepts/index.md
docs/concepts/representations.md
docs/concepts/result_objects.md
docs/examples/01_projection_and_qe.md
docs/examples/02_exact_function_range.md
docs/examples/03_certified_nonconvex_optimization.md
docs/examples/04_positive_dimensional_argmin.md
docs/examples/05_topology_and_components.md
docs/examples/06_measure_centroid_and_moments.md
docs/examples/07_singular_cusp_geometry.md
docs/examples/08_convex_geometry_operations.md
docs/examples/09_distance_and_bounding_geometry.md
docs/examples/10_parametric_interval_workflow.md
docs/examples/11_parametric_algebraic_endpoints.md
docs/examples/12_images_and_linear_maps.md
docs/examples/13_direct_mathematical_returns.md
docs/examples/14_real_roots_and_exact_algebraization.md
docs/examples/15_canonical_formula_simplification.md
docs/examples/16_cad_integration_variable_order.md
docs/examples/17_symbolic_region_conditions.md
docs/examples/18_specialist_namespaces.md
docs/examples/19_boundary_topology.md
docs/examples/20_closure_and_admissible_approaches.md
docs/examples/21_correlated_directional_geometry.md
docs/examples/22_singular_local_strata.md
docs/examples/23_local_germs_and_parameter_strata.md
docs/examples/index.md
docs/guides/approach_and_local_geometry.md
docs/guides/cad_reuse.md
docs/guides/certified_algebraic_roots.md
docs/guides/choosing_an_api.md
docs/guides/errors_and_failure_modes.md
docs/guides/exact_vs_numerical_regions.md
docs/guides/index.md
docs/guides/local-asymptotic-geometry.md
docs/guides/parameterized_computation.md
docs/guides/performance.md
docs/guides/region_invariants.md
docs/guides/region_representations.md
docs/guides/symbol_handling.md
docs/guides/transcendental_scope.md
docs/quality/certificate_matrix.md
docs/quality/certified_decisions.md
docs/quality/coverage_measurements.md
docs/quality/decision_contracts.md
docs/quality/documentation_consistency.md
docs/quality/internal-ownership-and-limitations.md
docs/quality/local_geometry_semantics.md
docs/quality/public_api_testing.md
docs/quality/reference_regression_suite.md
docs/quality/region_capability_matrix.md
docs/quality/region_testing.md
docs/quality/robustness.md
docs/quality/root-api-adequacy.md
docs/quality/root-api-documentation-adequacy.md
docs/quality/root-api-multidimensional-testing.md
docs/quality/root-api-test-adequacy.md
docs/quality/testing_philosophy.md
docs/reference/algebraic.md
docs/reference/applications.md
docs/reference/cad.md
docs/reference/convexity_backend.md
docs/reference/decision_and_qe.md
docs/reference/defaults_contract.md
docs/reference/everyday_api.md
docs/reference/exceptions.md
docs/reference/index.md
docs/reference/integration_and_moments.md
docs/reference/optimization_and_range.md
docs/reference/package_metadata.md
docs/reference/parameters.md
docs/reference/primary_api_manifest.toml
docs/reference/public_api.md
docs/reference/regions.md
docs/reference/root_api_usage.md
docs/reference/root_function_documentation_adequacy.toml
docs/reference/solving_and_sampling.md
docs/semialgebraic_geometry/algorithms.md
docs/semialgebraic_geometry/applications.md
docs/semialgebraic_geometry/introduction.md
docs/semialgebraic_geometry/theory.md
docs/tutorials/annulus.md
docs/tutorials/cad_factorized_partial.md
docs/tutorials/optimization_over_region.md
docs/tutorials/parameterized_region.md
docs/tutorials/primary_decomposition.md
docs/tutorials/projection_3d.md
docs/tutorials/singular_curve.md
docs/tutorials/sos_certification.md
examples/cad_operations.py
examples/component_instances_basic.py
examples/find_instance_domains.py
examples/parametric_cad_basic.py
examples/real_algebraic_decision.py
examples/gallery/01_projection_and_qe.py
examples/gallery/02_exact_function_range.py
examples/gallery/03_certified_nonconvex_optimization.py
examples/gallery/04_positive_dimensional_argmin.py
examples/gallery/05_topology_and_components.py
examples/gallery/06_measure_centroid_and_moments.py
examples/gallery/07_singular_cusp_geometry.py
examples/gallery/08_convex_geometry_operations.py
examples/gallery/09_distance_and_bounding_geometry.py
examples/gallery/10_parametric_interval_workflow.py
examples/gallery/11_parametric_algebraic_endpoints.py
examples/gallery/12_images_and_linear_maps.py
examples/gallery/13_direct_mathematical_returns.py
examples/gallery/14_real_roots_and_exact_algebraization.py
examples/gallery/15_canonical_formula_simplification.py
examples/gallery/16_cad_integration_variable_order.py
examples/gallery/17_symbolic_region_conditions.py
examples/gallery/18_specialist_namespaces.py
examples/gallery/19_boundary_topology.py
examples/gallery/20_closure_and_admissible_approaches.py
examples/gallery/21_correlated_directional_geometry.py
examples/gallery/22_singular_local_strata.py
examples/gallery/23_local_germs_and_parameter_strata.py
notebooks/semialg_demo.ipynb
scripts/benchmark_exact_algebra.py
scripts/benchmark_flint_cad.py
scripts/benchmark_gtz.py
scripts/benchmark_package.py
scripts/benchmark_performance.py
scripts/benchmark_rur.py
scripts/benchmark_rur_large.py
scripts/benchmark_sos_cad_scalability.py
scripts/check_cache_lifecycle.py
scripts/check_coverage.py
scripts/differential_singular.py
scripts/generate_primary_api_manifest.py
scripts/generate_public_api_coverage.py
scripts/generate_root_api_adequacy_dimensions.py
scripts/generate_root_api_documentation_adequacy.py
scripts/generate_root_api_test_adequacy.py
scripts/installed_wheel_smoke.py
scripts/run_installed_wheel_contract.py
src/semialg/__init__.py
src/semialg/_algebraic_decomposition_types.py
src/semialg/_api_policy.py
src/semialg/_critical_loci.py
src/semialg/_errors.py
src/semialg/_flint_arithmetic.py
src/semialg/_function_algebraization.py
src/semialg/_function_analysis_convexity.py
src/semialg/_function_analysis_monotonicity.py
src/semialg/_function_analysis_partitions.py
src/semialg/_function_analysis_properties.py
src/semialg/_function_field_compression.py
src/semialg/_function_field_factorization.py
src/semialg/_function_graph_image.py
src/semialg/_immutable.py
src/semialg/_linear_relations.py
src/semialg/_optimization_backends.py
src/semialg/_optimization_certification.py
src/semialg/_optimization_parametric.py
src/semialg/_optimization_range.py
src/semialg/_optimization_specializations.py
src/semialg/_public_api.py
src/semialg/_range_special_cases.py
src/semialg/_region_integrate_cad.py
src/semialg/_region_integrate_geometry.py
src/semialg/_region_integrate_intrinsic.py
src/semialg/_region_integrate_parametric.py
src/semialg/_standard_region_geometry.py
src/semialg/_standard_regions_base.py
src/semialg/_standard_regions_composite.py
src/semialg/_standard_regions_curved.py
src/semialg/_standard_regions_polyhedral.py
src/semialg/_strategy_outcome.py
src/semialg/_zero_testing.py
src/semialg/affine_geometry.py
src/semialg/affine_reduction.py
src/semialg/algebraic_decomposition.py
src/semialg/algebraic_function_fields.py
src/semialg/algebraic_geometry.py
src/semialg/boundary_topology.py
src/semialg/cache_control.py
src/semialg/cache_utils.py
src/semialg/cad_region.py
src/semialg/canonicalization.py
src/semialg/certificates.py
src/semialg/cli.py
src/semialg/conditional.py
src/semialg/connectivity.py
src/semialg/constraint_certificates.py
src/semialg/context.py
src/semialg/convex_hull.py
src/semialg/convexity.py
src/semialg/correlated_images.py
src/semialg/decision_diagnostics.py
src/semialg/decision_portfolio.py
src/semialg/derived_geometry.py
src/semialg/diagnostics.py
src/semialg/dimension_validation.py
src/semialg/domain_solve.py
src/semialg/domains.py
src/semialg/equivalence.py
src/semialg/errors.py
src/semialg/exact_arithmetic.py
src/semialg/exceptions.py
src/semialg/formula.py
src/semialg/function_analysis.py
src/semialg/function_graph.py
src/semialg/function_properties.py
src/semialg/generation_refinement.py
src/semialg/geometry_queries.py
src/semialg/geometry_validity.py
src/semialg/heuristics.py
src/semialg/implicit_geometry.py
src/semialg/incidence.py
src/semialg/inequality_reduction.py
src/semialg/internal_symbols.py
src/semialg/interval_decomposition.py
src/semialg/invariants.py
src/semialg/local_asymptotic_geometry.py
src/semialg/map_degree.py
src/semialg/matrix_analysis.py
src/semialg/measure.py
src/semialg/mixed_tetrahedralization.py
src/semialg/model.py
src/semialg/moments.py
src/semialg/normalization.py
src/semialg/optimization.py
src/semialg/optimization_active_sets.py
src/semialg/optimization_geometry.py
src/semialg/optimization_results.py
src/semialg/parameterization_analysis.py
src/semialg/parameters.py
src/semialg/parametric_geometry.py
src/semialg/parametric_integration.py
src/semialg/parser.py
src/semialg/polygonal_paths.py
src/semialg/polyhedral.py
src/semialg/polyhedral_booleans.py
src/semialg/polyhedral_clipping.py
src/semialg/polyhedron_formula.py
src/semialg/polynomial_positivity.py
src/semialg/polytope_decomposition.py
src/semialg/presolve.py
src/semialg/proof_diagnostics.py
src/semialg/quantifiers.py
src/semialg/real_algebraic.py
src/semialg/reasoning.py
src/semialg/reasoning_assumptions.py
src/semialg/reasoning_regions.py
src/semialg/reasoning_results.py
src/semialg/reasoning_signs.py
src/semialg/reasoning_system.py
src/semialg/region_analysis.py
src/semialg/region_coercion.py
src/semialg/region_conversion.py
src/semialg/region_integral_results.py
src/semialg/region_integrate.py
src/semialg/region_measurement.py
src/semialg/region_native_analysis.py
src/semialg/region_predicates.py
src/semialg/region_sampling.py
src/semialg/region_structural.py
src/semialg/region_transformations.py
src/semialg/relations.py
src/semialg/roadmaps.py
src/semialg/root_classification.py
src/semialg/sampling.py
src/semialg/sdp_backends.py
src/semialg/semialgebraic_local_geometry.py
src/semialg/solution_geometry.py
src/semialg/sos_certificates.py
src/semialg/standard_region_integrate.py
src/semialg/standard_regions.py
src/semialg/status.py
src/semialg/strict_feasibility.py
src/semialg/structural_keys.py
src/semialg/symbol_resolution.py
src/semialg/symbolic_regions.py
src/semialg/symbolic_simplify.py
src/semialg/tti.py
src/semialg/witness_heuristics.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_normalization.py
src/semialg/algebraic/_border_basis_types.py
src/semialg/algebraic/_gtz_primary_certification.py
src/semialg/algebraic/_gtz_primary_types.py
src/semialg/algebraic/_modular_certification.py
src/semialg/algebraic/_modular_resultants.py
src/semialg/algebraic/_modular_types.py
src/semialg/algebraic/_root_certificate_types.py
src/semialg/algebraic/_root_certification.py
src/semialg/algebraic/border_basis.py
src/semialg/algebraic/cache.py
src/semialg/algebraic/comparison.py
src/semialg/algebraic/equality_ideal.py
src/semialg/algebraic/exact_sign.py
src/semialg/algebraic/groebner_utils.py
src/semialg/algebraic/gtz.py
src/semialg/algebraic/gtz_primary.py
src/semialg/algebraic/gtz_zero_dim.py
src/semialg/algebraic/hilbert.py
src/semialg/algebraic/ideal_ops.py
src/semialg/algebraic/intervals.py
src/semialg/algebraic/modular.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/thom.py
src/semialg/algebraic/toric.py
src/semialg/algebraic/rational_univariate/__init__.py
src/semialg/algebraic/rational_univariate/_domains.py
src/semialg/algebraic/rational_univariate/construction.py
src/semialg/algebraic/rational_univariate/formula.py
src/semialg/algebraic/rational_univariate/linear_algebra.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/algebraic/rational_univariate/thom.py
src/semialg/applications/__init__.py
src/semialg/applications/barrier_certificates.py
src/semialg/applications/constraint_analysis.py
src/semialg/applications/control.py
src/semialg/applications/lyapunov.py
src/semialg/applications/model_comparison.py
src/semialg/applications/optimization_benchmarks.py
src/semialg/applications/parameter_regimes.py
src/semialg/applications/probability.py
src/semialg/applications/response_surfaces.py
src/semialg/applications/robust_design.py
src/semialg/applications/safety.py
src/semialg/applications/sensitivity.py
src/semialg/applications/validation.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/__main__.py
src/semialg/benchmarks/cases.py
src/semialg/benchmarks/performance.py
src/semialg/benchmarks/results.py
src/semialg/benchmarks/runner.py
src/semialg/benchmarks/rur_corpus.py
src/semialg/benchmarks/seeded_witnesses.py
src/semialg/benchmarks/tticad_dataset.py
src/semialg/benchmarks/wilson_cad_bank.py
src/semialg/cad_algorithms/__init__.py
src/semialg/cad_algorithms/bounds.py
src/semialg/cad_algorithms/cell_complex.py
src/semialg/cad_algorithms/cells.py
src/semialg/cad_algorithms/constants.py
src/semialg/cad_algorithms/cylindrical_solution.py
src/semialg/cad_algorithms/decomposition.py
src/semialg/cad_algorithms/explicit_cells.py
src/semialg/cad_algorithms/integration.py
src/semialg/cad_algorithms/meshing.py
src/semialg/cad_algorithms/numerical_boundaries.py
src/semialg/cad_algorithms/performance_cache.py
src/semialg/cad_algorithms/point_location.py
src/semialg/cad_algorithms/polynomial_utils.py
src/semialg/cad_algorithms/reduced.py
src/semialg/cad_algorithms/selected_samples.py
src/semialg/cad_algorithms/structured_cells.py
src/semialg/cad_algorithms/lifting/__init__.py
src/semialg/cad_algorithms/lifting/groebner.py
src/semialg/cad_algorithms/lifting/lazard.py
src/semialg/cad_algorithms/lifting/sign_invariance.py
src/semialg/cad_algorithms/lifting/stack.py
src/semialg/cad_algorithms/projection/__init__.py
src/semialg/cad_algorithms/projection/collins.py
src/semialg/cad_algorithms/projection/groebner.py
src/semialg/cad_algorithms/projection/lazard.py
src/semialg/cad_algorithms/projection/mccallum.py
src/semialg/cad_algorithms/projection/reduced.py
src/semialg/decision/__init__.py
src/semialg/decision/_formula_support.py
src/semialg/decision/_inputs.py
src/semialg/decision/_metadata.py
src/semialg/decision/_outputs.py
src/semialg/decision/_predicates.py
src/semialg/decision/_rur.py
src/semialg/decision/_solve_api.py
src/semialg/decision/_witnesses.py
src/semialg/decision/api.py
src/semialg/decision/fast_paths.py
src/semialg/decision/sampling_helpers.py
src/semialg/decision/solution.py
src/semialg/decomposition/__init__.py
src/semialg/decomposition/_parametric_support.py
src/semialg/decomposition/components.py
src/semialg/decomposition/cylindrical.py
src/semialg/decomposition/parametric.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/formulas/__init__.py
src/semialg/formulas/boolean.py
src/semialg/instances/__init__.py
src/semialg/instances/modular_sampling.py
src/semialg/instances/random_sections.py
src/semialg/instances/real_bounds.py
src/semialg/instances/real_dispatch.py
src/semialg/instances/real_fallbacks.py
src/semialg/instances/real_utils.py
src/semialg/instances/real_witnesses.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/select.py
src/semialg/planner/strategy_memory.py
src/semialg/preprocess/__init__.py
src/semialg/preprocess/abs.py
src/semialg/preprocess/algebraic.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/bounds.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/api.py
src/semialg/qe/blocks.py
src/semialg/qe/cell_reconstruction.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/results.py
src/semialg/qe/virtual_substitution/substitution.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/cell_formulas.py
src/semialg/regions/closure.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/formula.py
src/semialg/simplify/implication.py
src/semialg/simplify/intervals.py
src/semialg/solve/__init__.py
src/semialg/solve/complete.py
src/semialg/solve/domains.py
src/semialg/solve/equality_ideal.py
src/semialg/solve/find_instance.py
src/semialg/solve/planner.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/_common.py
src/semialg/solve/integer/_linear_candidates.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/formula_utils.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/semantics.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/invariants.py
src/semialg/topology/operations.py
src/semialg/topology/sample_context.py
src/semialg/topology/semialgebraic.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/__init__.py
tests/_certificate_mutation.py
tests/_ideal_assertions.py
tests/_semantic_equivalence.py
tests/conftest.py
tests/coverage_policy.toml
tests/public_api_coverage.toml
tests/root_api_adequacy_dimensions.toml
tests/root_api_test_adequacy.toml
tests/test_active_reduced_cad.py
tests/test_affine_canonical_geometry.py
tests/test_affine_geometry_images.py
tests/test_affine_parameter_properties.py
tests/test_affine_region_transformations.py
tests/test_algebra_semantic_ownership.py
tests/test_algebraic_bound_reconstruction.py
tests/test_algebraic_cache_and_ec_propagation.py
tests/test_algebraic_core.py
tests/test_algebraic_decomposition.py
tests/test_algebraic_function_fields.py
tests/test_algebraic_geometry_conveniences.py
tests/test_algebraic_geometry_queries.py
tests/test_algebraic_root_function_api.py
tests/test_api_surface_policy.py
tests/test_application_namespace_coverage.py
tests/test_applications.py
tests/test_architectural_scalability.py
tests/test_assumption_matrix_contracts.py
tests/test_asymptotic_downstream_contract.py
tests/test_asymptotic_local_geometry_contract.py
tests/test_auditable_collins.py
tests/test_barrier_certificate_application.py
tests/test_benchmark_catalog.py
tests/test_benchmark_published_corpora.py
tests/test_benchmark_runners.py
tests/test_boolean_region_integration.py
tests/test_boolean_simplification_warnings.py
tests/test_border_basis.py
tests/test_boundary_and_differential_properties.py
tests/test_boundary_topology.py
tests/test_cache_policy_contracts.py
tests/test_cache_semantic_invariance.py
tests/test_cad_api.py
tests/test_cad_bound_certification.py
tests/test_cad_connectivity.py
tests/test_cad_optimization_certificate_mutation.py
tests/test_cad_projection_cache_and_partial_qe.py
tests/test_cad_region_facilities.py
tests/test_cad_semantic_projection_contract.py
tests/test_cad_semantic_region_topology.py
tests/test_cad_topology.py
tests/test_cad_typed_bounds_and_integration.py
tests/test_cad_variable_order_invariance.py
tests/test_canonical_cylinder_cone_geometry.py
tests/test_canonical_polygon_constructors.py
tests/test_canonical_polyhedral_geometry.py
tests/test_canonical_quadric_geometry.py
tests/test_canonical_shape_class_names.py
tests/test_canonical_simplification_and_cad_integration.py
tests/test_canonical_torus_geometry.py
tests/test_certificate_contract_matrix.py
tests/test_certificate_mutation_matrix.py
tests/test_certified_decision_portfolio.py
tests/test_certified_linear_robustness.py
tests/test_certified_polynomial_root_intervals.py
tests/test_certified_zero_boundaries.py
tests/test_chordal_variable_order.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_component_intersection_stratification.py
tests/test_component_relative_singularity.py
tests/test_conditional_parameter_results.py
tests/test_constraint_analysis_application.py
tests/test_constraint_certificates.py
tests/test_context_order_parametric_optimization.py
tests/test_control_stability_application.py
tests/test_convexity_certified_fast_paths.py
tests/test_convexity_hierarchy.py
tests/test_coverage_measurement_contracts.py
tests/test_cross_backend_differential.py
tests/test_cylindrical_solution.py
tests/test_decision_boolean_contracts.py
tests/test_decision_exact_dispatch.py
tests/test_decision_fast_paths.py
tests/test_decision_internal_architecture.py
tests/test_decision_metadata_demand.py
tests/test_decision_public_contracts.py
tests/test_decision_sampling_contracts.py
tests/test_decision_semantic_coherence.py
tests/test_decision_sign_evaluation.py
tests/test_decision_solving.py
tests/test_decomposition_certificate_replay.py
tests/test_decomposition_certificates.py
tests/test_deep_mathematical_edge_cases.py
tests/test_demo_notebook.py
tests/test_derived_geometric_operations.py
tests/test_derived_geometry_identities.py
tests/test_dimension_validation.py
tests/test_direct_return_contracts.py
tests/test_documentation_code_blocks.py
tests/test_documentation_consistency.py
tests/test_documentation_example_gallery.py
tests/test_documentation_information_architecture.py
tests/test_documentation_presentation_contracts.py
tests/test_documentation_semantic_examples.py
tests/test_documented_defaults_contract.py
tests/test_domains_options_api.py
tests/test_equality_ideal_context.py
tests/test_equidimensional_decomposition.py
tests/test_exact_algebra_performance.py
tests/test_exact_arithmetic_and_symbol_resolution.py
tests/test_exact_ordering_and_witness_regressions.py
tests/test_exact_polynomial_optimization_pipeline.py
tests/test_exact_root_topology_robustness.py
tests/test_exact_sampling_and_bounds.py
tests/test_examples_executable.py
tests/test_exception_fallback_contracts.py
tests/test_exception_hierarchy.py
tests/test_factory_result_contracts.py
tests/test_find_instance_api.py
tests/test_flint_root_isolation_and_architecture.py
tests/test_formula_compression.py
tests/test_formula_graph_algebraization.py
tests/test_foundation_contracts.py
tests/test_function_convexity.py
tests/test_function_convexity_backend_primitives.py
tests/test_function_graph.py
tests/test_function_graph_and_algebraization.py
tests/test_function_graph_rational_power_contracts.py
tests/test_function_monotonicity.py
tests/test_function_property_cache_reuse.py
tests/test_function_property_extensions.py
tests/test_function_property_partitions.py
tests/test_function_range_metadata.py
tests/test_function_range_qe_image.py
tests/test_function_range_semialgebraic_expr.py
tests/test_general_sturm_stratification.py
tests/test_generated_advanced_edge_invariants.py
tests/test_generated_convexity_invariants.py
tests/test_generated_deep_mathematical_invariants.py
tests/test_generation_refinement_convex_hull.py
tests/test_geometry_affine_invariants.py
tests/test_geometry_assumption_contracts.py
tests/test_geometry_backend_agreement.py
tests/test_geometry_conversion_decomposition.py
tests/test_geometry_generation_api.py
tests/test_geometry_measure_contracts.py
tests/test_geometry_ownership_contracts.py
tests/test_geometry_protocol.py
tests/test_geometry_public_types.py
tests/test_geometry_queries.py
tests/test_geometry_sampling_contracts.py
tests/test_geometry_validity.py
tests/test_groebner_variety_cad.py
tests/test_groebner_variety_differential.py
tests/test_groebner_variety_robustness.py
tests/test_gtz_localization.py
tests/test_gtz_recursive_primary.py
tests/test_gtz_zero_dimensional_primary.py
tests/test_high_dimensional_optimization_pipeline.py
tests/test_higher_dimensional_cylindrical_exploitation.py
tests/test_hilbert.py
tests/test_hybrid_root_isolation.py
tests/test_image_cache_polyhedron_robustness.py
tests/test_implicit_geometry_and_cylindrical_bounds.py
tests/test_installed_wheel_documentation.py
tests/test_instance_support_packages.py
tests/test_integer_solver_completeness_contracts.py
tests/test_integer_sum_of_squares_recognition.py
tests/test_integration_zero_certification.py
tests/test_internal_exact_strategy_and_sample_context.py
tests/test_internal_ownership_contracts.py
tests/test_internal_symbol_hygiene.py
tests/test_intrinsic_bounds_and_empty_regions.py
tests/test_intrinsic_parametric_charts.py
tests/test_intrinsic_region_measure.py
tests/test_intrinsic_singularity_cad.py
tests/test_intrinsic_stratification_api.py
tests/test_irreducible_real_topology.py
tests/test_lazy_partial_qe.py
tests/test_limit_support_geometry.py
tests/test_limit_support_geometry_contracts.py
tests/test_local_approach_geometry_contracts.py
tests/test_local_asymptotic_geometry.py
tests/test_local_branch_geometry.py
tests/test_local_geometry_edge_cases.py
tests/test_local_geometry_property_contracts.py
tests/test_lyapunov_application.py
tests/test_metamorphic_certificates.py
tests/test_mkdocs_navigation_coverage.py
tests/test_model_comparison_application.py
tests/test_modular_algebraic.py
tests/test_modular_boolean_oracle.py
tests/test_modular_groebner.py
tests/test_modular_linear_fast_path.py
tests/test_modular_resultants.py
tests/test_module_structure.py
tests/test_multivar_simplify_and_reduced_side_conditions.py
tests/test_named_solid_constructors.py
tests/test_no_legacy_api_aliases.py
tests/test_normalization_policies.py
tests/test_optimization.py
tests/test_package_lifecycle.py
tests/test_package_metadata.py
tests/test_parameter_conditions.py
tests/test_parameter_regimes_application.py
tests/test_parameter_sample_validation.py
tests/test_parameterization_geometry.py
tests/test_parametric_algebraic_endpoint_integration.py
tests/test_parametric_algebraic_integration_boundaries.py
tests/test_parametric_architecture_ownership.py
tests/test_parametric_cad_api.py
tests/test_parametric_cad_decomposition.py
tests/test_parametric_cad_integration.py
tests/test_parametric_cad_semantics.py
tests/test_parametric_fast_reconstruction.py
tests/test_parametric_geometry.py
tests/test_parametric_reconstruction_differential.py
tests/test_parametric_region_integration.py
tests/test_parametric_relation_elimination.py
tests/test_performance_caches.py
tests/test_performance_kernel_routes.py
tests/test_pipeline_stage_contracts.py
tests/test_planner_and_repairs.py
tests/test_planner_ec_state.py
tests/test_plot_solution_formula_fallback.py
tests/test_point_in_closure.py
tests/test_polyhedral_face_lattice.py
tests/test_polyhedral_representation.py
tests/test_polynomial_map_implicitization.py
tests/test_polynomial_positivity.py
tests/test_polytope_geometry.py
tests/test_prenex_blocks_witnesses.py
tests/test_presolve_and_variable_ordering.py
tests/test_presolve_semantic_equivalence_corpus.py
tests/test_primary_decomposition.py
tests/test_probability_application.py
tests/test_public_api_behavioral_evidence.py
tests/test_public_api_coverage_manifest.py
tests/test_public_api_critical_risk_contracts.py
tests/test_public_api_design.py
tests/test_public_api_direct_contracts.py
tests/test_public_api_documentation.py
tests/test_public_api_failure_contracts.py
tests/test_public_api_family_contracts.py
tests/test_public_api_high_risk_contracts.py
tests/test_public_api_integration.py
tests/test_public_api_medium_risk_contracts.py
tests/test_public_import_consistency.py
tests/test_public_result_contracts.py
tests/test_public_sampling_sign_api.py
tests/test_public_type_contracts.py
tests/test_qe_polynomial_reconstruction.py
tests/test_qe_reconstruction_preferred_polynomials.py
tests/test_quantifier_elimination.py
tests/test_quantifier_expressions.py
tests/test_quartic_parameter_root_certification.py
tests/test_radical_minimal_primes.py
tests/test_rational_univariate.py
tests/test_real_algebraic_feasibility.py
tests/test_real_instance_fallbacks.py
tests/test_reasoning.py
tests/test_recursive_regular_chains.py
tests/test_reduce_region_integral.py
tests/test_reduce_text_implies_warning.py
tests/test_reduced_algebraic_varieties.py
tests/test_region_api_normalization.py
tests/test_region_computation_facilities.py
tests/test_region_documentation_contracts.py
tests/test_region_image_preimage.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_region_relations_operations.py
tests/test_region_sampling_measurement.py
tests/test_region_singularity_boundary_integration.py
tests/test_resolve_reference_regressions.py
tests/test_response_surface_application.py
tests/test_result_object_contracts_extended.py
tests/test_roadmap_topology_core.py
tests/test_robustness_contracts.py
tests/test_root_api_adequacy_contract.py
tests/test_root_api_adequacy_strengthening.py
tests/test_root_api_behavioral_expansion.py
tests/test_root_api_documentation_adequacy.py
tests/test_root_api_expert_review.py
tests/test_root_api_multidimensional_adequacy_contract.py
tests/test_root_api_multidimensional_algebraic_solving.py
tests/test_root_api_multidimensional_geometry.py
tests/test_root_api_pruning_contract.py
tests/test_root_api_semantic_contracts.py
tests/test_root_api_test_adequacy.py
tests/test_root_classification.py
tests/test_root_function_graph_exports.py
tests/test_root_result_policy_contract.py
tests/test_rur_algebraic_coefficients.py
tests/test_rur_benchmark_corpus.py
tests/test_rur_exactness_and_virtual_substitution.py
tests/test_rur_linear_algebra.py
tests/test_rur_nonreduced_algebraic_fields.py
tests/test_rur_vs_edge_cases.py
tests/test_rur_vs_integration.py
tests/test_safe_reduced_cad.py
tests/test_safety_invariant_application.py
tests/test_sampling_strategy_contracts.py
tests/test_scalability_followup.py
tests/test_semantic_differential_contracts.py
tests/test_semialgebraic_geometry_documentation.py
tests/test_semialgebraic_local_geometry.py
tests/test_semialgebraic_measure.py
tests/test_semialgebraic_preprocessing.py
tests/test_semialgebraic_preprocessing_completion.py
tests/test_semialgebraic_properties.py
tests/test_semialgebraic_property_invariants.py
tests/test_semialgebraic_simplify.py
tests/test_semialgebraic_topology_families.py
tests/test_sensitivity_application.py
tests/test_shared_public_types.py
tests/test_singular_locus_certification.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_sos_cad_scalability.py
tests/test_source_coherence.py
tests/test_source_distribution_documentation_contract.py
tests/test_sphere_constructors.py
tests/test_standard_region_geometry.py
tests/test_standard_region_integration.py
tests/test_standard_region_validation.py
tests/test_standard_shape_region_integration.py
tests/test_stratified_singular_geometry.py
tests/test_structural_convex_intersections.py
tests/test_structural_fast_path_contracts.py
tests/test_structural_identity_and_geometry_contracts.py
tests/test_structured_cad_cell_extraction.py
tests/test_subresultant_prs.py
tests/test_symbol_identity_and_region_regressions.py
tests/test_symbolic_assumption_simplification.py
tests/test_symbolic_piecewise_systems.py
tests/test_symbolic_regions.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_thom_rur_core.py
tests/test_three_variable_reduced_cad_side_conditions.py
tests/test_topology_connectivity_matrix.py
tests/test_topology_incidence_nested_root_samples.py
tests/test_topology_symbols_and_exact_bounds.py
tests/test_toric.py
tests/test_transcendental_certification_contracts.py
tests/test_tunable_limits.py
tests/test_unified_solve_planner.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_witness_heuristics.py
tests/test_zero_dimensional_solver_backend.py
tests/test_zero_dimensional_unit_ideal.py
tests/_support/__init__.py
tests/_support/cad_assertions.py
tests/installation/test_installed_wheel_contract.py
tests/performance/test_affine_clip_specialization.py
tests/performance/test_lazy_engine_import_contracts.py
tests/performance/test_long_process_algebra_regression.py
tests/performance/test_parametric_dimension_fast_path.py
tests/performance/test_region_reuse_contracts.py
tests/performance/test_solver_runtime_regressions.py
tests/properties/test_algebraic_decomposition_properties.py
tests/properties/test_certified_root_properties.py
tests/properties/test_parameter_and_cache_invariance.py
tests/properties/test_public_api_differential.py
tests/properties/test_public_api_metamorphic.py
tests/properties/test_region_metamorphic.py
tests/properties/test_semialgebraic_invariance_extended.py
tests/properties/test_sos_cad_metamorphic.py
tests/regions/__init__.py
tests/regions/known_regions.py
tests/regions/test_cell_complex.py
tests/regions/test_equivalent_formulations.py
tests/regions/test_failure_modes.py
tests/regions/test_known_region_corpus.py
tests/regions/test_measure.py
tests/regions/test_meshing.py
tests/regions/test_point_location.py
tests/regions/test_projection_and_maps.py
tests/regions/test_region_interoperability.py
tests/regions/test_simplification.py
tests/regions/test_singularities.py
tests/robustness/test_cached_state_contracts.py
tests/robustness/test_explicit_empty_variables.py
tests/robustness/test_region_analysis_contracts.py
tests/robustness/test_simplex_recognizer_coefficients.py
tests/tools/test_run_slow_tests.py