LICENSE
README.md
pyproject.toml
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/_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/cache_control.py
src/semialg/cache_utils.py
src/semialg/cad_region.py
src/semialg/certificates.py
src/semialg/cli.py
src/semialg/conditional.py
src/semialg/connectivity.py
src/semialg/context.py
src/semialg/convexity.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/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/map_degree.py
src/semialg/matrix_analysis.py
src/semialg/measure.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/parameter_stratification.py
src/semialg/parameters.py
src/semialg/parametric_geometry.py
src/semialg/parametric_integration.py
src/semialg/parser.py
src/semialg/polyhedral.py
src/semialg/polyhedral_clipping.py
src/semialg/polynomial_positivity.py
src/semialg/presolve.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_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/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/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/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/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/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_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/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/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/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_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_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_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_boundary_audit.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_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_internal_architecture.py
tests/test_decision_metadata_demand.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_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_example_gallery.py
tests/test_documentation_information_architecture.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_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_generic_cad_api.py
tests/test_generic_decomposition.py
tests/test_geometry_affine_invariants.py
tests/test_geometry_assumption_contracts.py
tests/test_geometry_backend_agreement.py
tests/test_geometry_measure_contracts.py
tests/test_geometry_ownership_contracts.py
tests/test_geometry_protocol.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_initial_release_api_integration.py
tests/test_initial_release_seven_recommendations.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_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_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_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_parameterized_cylindrical_decomposition.py
tests/test_parametric_algebraic_endpoint_integration.py
tests/test_parametric_algebraic_integration_boundaries.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_pipeline_stage_contracts.py
tests/test_planner_and_repairs.py
tests/test_plot_solution_formula_fallback.py
tests/test_polyhedral_face_lattice.py
tests/test_polyhedral_representation.py
tests/test_polynomial_positivity.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_coverage_manifest.py
tests/test_public_api_critical_risk_contracts.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_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_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_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_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_behavioral_expansion.py
tests/test_root_api_expert_review.py
tests/test_root_api_pruning_contract.py
tests/test_root_classification.py
tests/test_root_result_policy_contract.py
tests/test_rur_algebraic_coefficients.py
tests/test_rur_exactness_and_virtual_substitution.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_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_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_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_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