.readthedocs.yaml
LICENSE
MANIFEST.in
README.md
pyproject.toml
validation_results.json
validation_summary.csv
.github/workflows/benchmarks.yml
.github/workflows/docs.yml
.github/workflows/publish.yml
.github/workflows/tests.yml
benchmarks/README.md
benchmarks/baseline-schema.json
benchmarks/cases.py
benchmarks/run_benchmarks.py
docs/conf.py
docs/index.md
docs/api/algebraization.md
docs/api/high-level.md
docs/api/index.md
docs/api/intervals.md
docs/api/linear-quadratic.md
docs/api/moments.md
docs/api/results.md
docs/api/semialgebraic.md
docs/api/semidefinite.md
docs/api/sos.md
docs/api/symbolic.md
docs/api/utilities.md
docs/development/architecture.md
docs/development/contributing.md
docs/development/documentation.md
docs/development/testing.md
docs/examples/algebraic-functions.md
docs/examples/equality-constrained.md
docs/examples/high-level-api.md
docs/examples/index.md
docs/examples/inequality-constrained.md
docs/examples/linear-programs.md
docs/examples/moment-extraction.md
docs/examples/piecewise-and-abs.md
docs/examples/polynomial-global.md
docs/examples/quadratic-programs.md
docs/examples/sos-certificates.md
docs/examples/transcendental.md
docs/examples/unconstrained.md
docs/getting-started/installation.md
docs/getting-started/problem-formulation.md
docs/getting-started/quickstart.md
docs/getting-started/understanding-results.md
docs/guide/assumptions-and-domains.md
docs/guide/certification.md
docs/guide/exact-vs-numerical.md
docs/guide/performance.md
docs/guide/solver-selection.md
docs/methods/algebraization.md
docs/methods/critical-points.md
docs/methods/degeneracy.md
docs/methods/elimination.md
docs/methods/kkt-karush-john.md
docs/methods/linear-programming.md
docs/methods/moment-methods.md
docs/methods/overview.md
docs/methods/quadratic-programming.md
docs/methods/semidefinite-programming.md
docs/methods/sparse-structure.md
docs/methods/structural-routes.md
docs/methods/sum-of-squares.md
docs/methods/verified-intervals.md
docs/reference/capability-matrix.md
docs/reference/limitations.md
docs/reference/numerical-tolerances.md
docs/reference/performance.md
docs/reference/precision.md
docs/reference/references.md
notebooks/symbopt_tutorial.ipynb
src/symbopt/__init__.py
src/symbopt/algebraic_numbers.py
src/symbopt/algebraize.py
src/symbopt/api.py
src/symbopt/array_validation.py
src/symbopt/candidates.py
src/symbopt/certification.py
src/symbopt/chordal.py
src/symbopt/constraint_reduction.py
src/symbopt/convex_routing.py
src/symbopt/critical_points.py
src/symbopt/decomposition.py
src/symbopt/degeneracy.py
src/symbopt/diagnostics.py
src/symbopt/elimination.py
src/symbopt/hierarchy.py
src/symbopt/intervals.py
src/symbopt/kkt.py
src/symbopt/linear_fractional.py
src/symbopt/lp.py
src/symbopt/moment.py
src/symbopt/moment_bridge.py
src/symbopt/moments_dual.py
src/symbopt/monomials.py
src/symbopt/numeric_utils.py
src/symbopt/objective_transforms.py
src/symbopt/piecewise_branches.py
src/symbopt/polynomial_structure.py
src/symbopt/precision.py
src/symbopt/problem_models.py
src/symbopt/qp.py
src/symbopt/relation_checks.py
src/symbopt/sdp.py
src/symbopt/semialgebraic.py
src/symbopt/semidefinite.py
src/symbopt/solver_pipeline.py
src/symbopt/sos.py
src/symbopt/sos_program.py
src/symbopt/structural_results.py
src/symbopt/structural_routing.py
src/symbopt/symbolic_cache.py
src/symbopt/transcendental_analysis.py
src/symbopt/trigonometric_optimization.py
src/symbopt/univariate_analysis.py
src/symbopt/validation_suite.py
src/symbopt/verified_intervals.py
src/symbopt.egg-info/PKG-INFO
src/symbopt.egg-info/SOURCES.txt
src/symbopt.egg-info/dependency_links.txt
src/symbopt.egg-info/requires.txt
src/symbopt.egg-info/top_level.txt
tests/__init__.py
tests/api/__init__.py
tests/api/test_api.py
tests/api/test_diagnostics.py
tests/api/test_extremum_api.py
tests/api/test_precision_routing.py
tests/api/test_variables_and_precision.py
tests/infrastructure/__init__.py
tests/infrastructure/test_performance_refactors.py
tests/infrastructure/test_relations_properties.py
tests/infrastructure/test_shared.py
tests/infrastructure/test_source_hygiene.py
tests/infrastructure/test_structure_cache.py
tests/methods/__init__.py
tests/methods/algebraization/__init__.py
tests/methods/algebraization/test_algebraic_numbers.py
tests/methods/algebraization/test_algebraization.py
tests/methods/certification/__init__.py
tests/methods/certification/test_robustness.py
tests/methods/critical_points/__init__.py
tests/methods/critical_points/test_critical_points.py
tests/methods/intervals/__init__.py
tests/methods/intervals/test_arb_backend.py
tests/methods/intervals/test_interval_contraction.py
tests/methods/intervals/test_interval_optimizer.py
tests/methods/intervals/test_properties.py
tests/methods/intervals/test_split_scoring.py
tests/methods/intervals/test_verified_intervals.py
tests/methods/kkt/__init__.py
tests/methods/kkt/test_active_set_ordering.py
tests/methods/kkt/test_kkt.py
tests/methods/linear_programming/__init__.py
tests/methods/linear_programming/test_exact_postprocessing.py
tests/methods/linear_programming/test_lp.py
tests/methods/moments/__init__.py
tests/methods/moments/test_moments.py
tests/methods/pipeline/__init__.py
tests/methods/pipeline/test_piecewise.py
tests/methods/pipeline/test_pipeline_certification.py
tests/methods/quadratic_programming/__init__.py
tests/methods/quadratic_programming/test_exact_postprocessing.py
tests/methods/quadratic_programming/test_properties.py
tests/methods/quadratic_programming/test_qp.py
tests/methods/sdp/__init__.py
tests/methods/sdp/test_sdp.py
tests/methods/semialgebraic/__init__.py
tests/methods/semialgebraic/test_adapter.py
tests/methods/semialgebraic/test_backend.py
tests/methods/semialgebraic/test_optimizer_integration.py
tests/methods/sos/__init__.py
tests/methods/sos/test_properties.py
tests/methods/sos/test_sos.py
tests/methods/sos/test_sparse_recovery.py
tests/methods/structural/__init__.py
tests/methods/structural/test_asymptotic_analysis.py
tests/methods/structural/test_linear_fractional.py
tests/methods/structural/test_monotone_reductions.py
tests/methods/structural/test_periodic_trigonometric.py
tests/methods/structural/test_rational_frequency_trig.py
tests/methods/structural/test_separable_decomposition.py
tests/methods/structural/test_transcendental_domain_analysis.py
tests/reference/__init__.py
tests/reference/test_reference_case_inventory.py
tests/reference/by_input_type/__init__.py
tests/reference/by_input_type/test_future_algebraic.py
tests/reference/by_input_type/test_future_api_or_parametric.py
tests/reference/by_input_type/test_future_integer.py
tests/reference/by_input_type/test_future_mixed.py
tests/reference/by_input_type/test_future_strict_or_unattained.py
tests/reference/by_input_type/test_future_transcendental.py
tests/reference/by_input_type/test_future_transcendental_and_symbolic.py
tests/reference/by_input_type/test_linear_programming.py
tests/reference/by_input_type/test_nonsmooth.py
tests/reference/by_input_type/test_polynomial.py
tests/reference/by_input_type/test_promoted_semialgebraic.py
tests/reference/by_input_type/test_promoted_wrapper_api.py
tests/reference/by_input_type/test_radical.py
tests/reference/by_input_type/test_rational.py
tests/tooling/__init__.py
tests/tooling/test_benchmarks.py
tests/tooling/test_documentation.py
tests/tooling/test_public_docstrings.py
tests/tooling/test_source_hygiene.py
tests/tooling/test_tutorial_notebook.py
tests/validation/__init__.py
tests/validation/test_numerical_validation.py