├── .gitignore ├── LICENSE ├── README.md ├── gradio.app.py ├── notebooks ├── examples.ipynb ├── triple_sos_example.png ├── triple_sos_example2.png └── triples.drawio.svg ├── requirements.txt ├── static ├── css │ └── bootstrap.min.css └── js │ ├── axios.min.js │ ├── bootstrap.bundle.min.js │ ├── history.js │ ├── html2canvas.min.js │ ├── on_change.js │ ├── socket.io.min.js │ ├── socket.js │ ├── tex-svg.js │ ├── three.OrbitControls.js │ ├── three.min.js │ └── visualization.js ├── triples.html ├── triples ├── __init__.py ├── benchmarks │ ├── __init__.py │ ├── problems │ │ ├── __init__.py │ │ ├── books │ │ │ ├── __init__.py │ │ │ └── vasile.py │ │ ├── contests │ │ │ ├── __init__.py │ │ │ ├── chn.py │ │ │ └── imo.py │ │ └── problem_set.py │ └── run_benchmark.py ├── core │ ├── __init__.py │ ├── complexity.py │ ├── dispatch.py │ ├── linsos │ │ ├── __init__.py │ │ ├── basis.py │ │ ├── correction.py │ │ ├── linsos.py │ │ ├── models │ │ │ ├── linearsossolver_length_model.npz │ │ │ ├── linearsossolver_prob_model.npz │ │ │ └── linearsossolver_time_model.npz │ │ ├── solution.py │ │ ├── tangents.py │ │ └── updegree.py │ ├── node.py │ ├── preprocess │ │ ├── __init__.py │ │ ├── algebraic.py │ │ ├── features.py │ │ ├── modeling.py │ │ ├── pivoting.py │ │ ├── polynomial.py │ │ ├── reparam.py │ │ ├── signs.py │ │ └── tests │ │ │ ├── __init__.py │ │ │ └── test_signs.py │ ├── problem.py │ ├── sdpsos │ │ ├── __init__.py │ │ ├── abstract.py │ │ ├── algebra │ │ │ ├── __init__.py │ │ │ ├── basis.py │ │ │ ├── moment_algebra.py │ │ │ ├── nc_poly_ring.py │ │ │ ├── poly_ring.py │ │ │ ├── pseudo_poly.py │ │ │ └── state_algebra.py │ │ ├── manifold.py │ │ ├── models │ │ │ ├── sdpsossolver_length_model.npz │ │ │ ├── sdpsossolver_prob_model.npz │ │ │ └── sdpsossolver_time_model.npz │ │ ├── sdpsos.py │ │ ├── sohs.py │ │ ├── solution.py │ │ ├── sos.py │ │ ├── sos_moment.py │ │ └── tests │ │ │ ├── __init__.py │ │ │ └── test_sos_obj.py │ ├── shared.py │ ├── solution.py │ ├── structsos │ │ ├── __init__.py │ │ ├── constrained │ │ │ ├── __init__.py │ │ │ ├── acute.py │ │ │ ├── linear.py │ │ │ └── solver.py │ │ ├── nvars.py │ │ ├── pivoting │ │ │ ├── __init__.py │ │ │ ├── bivariate.py │ │ │ └── univariate.py │ │ ├── quarternary │ │ │ ├── __init__.py │ │ │ ├── cubic.py │ │ │ ├── quartic.py │ │ │ ├── solver.py │ │ │ └── utils.py │ │ ├── solution.py │ │ ├── sparse.py │ │ ├── structsos.py │ │ ├── ternary │ │ │ ├── __init__.py │ │ │ ├── acyclic.py │ │ │ ├── cubic.py │ │ │ ├── dense_symmetric.py │ │ │ ├── nonic.py │ │ │ ├── octic.py │ │ │ ├── octic_symmetric.py │ │ │ ├── quadratic.py │ │ │ ├── quartic.py │ │ │ ├── quintic.py │ │ │ ├── quintic_symmetric.py │ │ │ ├── septic.py │ │ │ ├── septic_symmetric.py │ │ │ ├── sextic.py │ │ │ ├── sextic_symmetric.py │ │ │ ├── solver.py │ │ │ ├── sparse.py │ │ │ └── utils.py │ │ ├── tests │ │ │ ├── __init__.py │ │ │ └── test_univariate.py │ │ ├── univariate.py │ │ └── utils.py │ ├── sum_of_squares.py │ ├── symsos │ │ ├── __init__.py │ │ ├── basic.py │ │ ├── representation.py │ │ ├── symmetric.py │ │ └── symsos.py │ └── tests │ │ ├── __init__.py │ │ ├── test_dispatch.py │ │ └── test_problem.py ├── gui │ ├── __init__.py │ ├── grid.py │ ├── linebreak.py │ ├── sos_manager.py │ └── visualize.py ├── sdp │ ├── __init__.py │ ├── abstract.py │ ├── arithmetic │ │ ├── __init__.py │ │ ├── eigens.py │ │ ├── linsolve.py │ │ ├── lll.py │ │ ├── matmul.py │ │ ├── matop.py │ │ └── tests │ │ │ ├── __init__.py │ │ │ ├── test_eigens.py │ │ │ └── test_matmul.py │ ├── backends │ │ ├── __init__.py │ │ ├── backend.py │ │ ├── caller.py │ │ ├── clarabel_sdp.py │ │ ├── cvxopt_sdp.py │ │ ├── cvxpy_sdp.py │ │ ├── mosek_sdp.py │ │ ├── picos_sdp.py │ │ ├── qics_sdp.py │ │ ├── sdpap_sdp.py │ │ ├── settings.py │ │ └── tests │ │ │ ├── __init__.py │ │ │ └── test_backends.py │ ├── dual.py │ ├── ipm.py │ ├── primal.py │ ├── rationalize.py │ ├── tests │ │ ├── __init__.py │ │ ├── test_dual.py │ │ └── test_primal.py │ ├── transforms │ │ ├── __init__.py │ │ ├── linear.py │ │ ├── parametric.py │ │ ├── polytope.py │ │ ├── transform.py │ │ └── transformable.py │ └── utils.py ├── testing │ ├── __init__.py │ ├── fix_code_quality.py │ └── tests │ │ ├── __init__.py │ │ └── test_dependency.py └── utils │ ├── __init__.py │ ├── expression.py │ ├── expressions │ ├── __init__.py │ ├── coeff.py │ ├── cyclic.py │ ├── exraw.py │ ├── psatz.py │ ├── soscone.py │ └── tests │ │ ├── __init__.py │ │ └── test_cyclic.py │ ├── monomials.py │ ├── pqr.py │ ├── roots │ ├── __init__.py │ ├── extrema.py │ ├── monotonic_opt.py │ ├── num_extrema.py │ ├── polysolve.py │ ├── rationalize.py │ ├── root_list.py │ ├── roots.py │ └── tests │ │ ├── __init__.py │ │ ├── test_extrema.py │ │ ├── test_num_extrema.py │ │ └── test_roots.py │ ├── tests │ ├── __init__.py │ └── test_text_process.py │ ├── text_process.py │ └── tree_predictor.py └── web_main.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/README.md -------------------------------------------------------------------------------- /gradio.app.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/gradio.app.py -------------------------------------------------------------------------------- /notebooks/examples.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/notebooks/examples.ipynb -------------------------------------------------------------------------------- /notebooks/triple_sos_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/notebooks/triple_sos_example.png -------------------------------------------------------------------------------- /notebooks/triple_sos_example2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/notebooks/triple_sos_example2.png -------------------------------------------------------------------------------- /notebooks/triples.drawio.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/notebooks/triples.drawio.svg -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/requirements.txt -------------------------------------------------------------------------------- /static/css/bootstrap.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/css/bootstrap.min.css -------------------------------------------------------------------------------- /static/js/axios.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/js/axios.min.js -------------------------------------------------------------------------------- /static/js/bootstrap.bundle.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/js/bootstrap.bundle.min.js -------------------------------------------------------------------------------- /static/js/history.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/js/history.js -------------------------------------------------------------------------------- /static/js/html2canvas.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/js/html2canvas.min.js -------------------------------------------------------------------------------- /static/js/on_change.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/js/on_change.js -------------------------------------------------------------------------------- /static/js/socket.io.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/js/socket.io.min.js -------------------------------------------------------------------------------- /static/js/socket.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/js/socket.js -------------------------------------------------------------------------------- /static/js/tex-svg.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/js/tex-svg.js -------------------------------------------------------------------------------- /static/js/three.OrbitControls.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/js/three.OrbitControls.js -------------------------------------------------------------------------------- /static/js/three.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/js/three.min.js -------------------------------------------------------------------------------- /static/js/visualization.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/static/js/visualization.js -------------------------------------------------------------------------------- /triples.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples.html -------------------------------------------------------------------------------- /triples/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/benchmarks/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/benchmarks/problems/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/benchmarks/problems/__init__.py -------------------------------------------------------------------------------- /triples/benchmarks/problems/books/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/benchmarks/problems/books/__init__.py -------------------------------------------------------------------------------- /triples/benchmarks/problems/books/vasile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/benchmarks/problems/books/vasile.py -------------------------------------------------------------------------------- /triples/benchmarks/problems/contests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/benchmarks/problems/contests/__init__.py -------------------------------------------------------------------------------- /triples/benchmarks/problems/contests/chn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/benchmarks/problems/contests/chn.py -------------------------------------------------------------------------------- /triples/benchmarks/problems/contests/imo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/benchmarks/problems/contests/imo.py -------------------------------------------------------------------------------- /triples/benchmarks/problems/problem_set.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/benchmarks/problems/problem_set.py -------------------------------------------------------------------------------- /triples/benchmarks/run_benchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/benchmarks/run_benchmark.py -------------------------------------------------------------------------------- /triples/core/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/__init__.py -------------------------------------------------------------------------------- /triples/core/complexity.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/complexity.py -------------------------------------------------------------------------------- /triples/core/dispatch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/dispatch.py -------------------------------------------------------------------------------- /triples/core/linsos/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/linsos/__init__.py -------------------------------------------------------------------------------- /triples/core/linsos/basis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/linsos/basis.py -------------------------------------------------------------------------------- /triples/core/linsos/correction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/linsos/correction.py -------------------------------------------------------------------------------- /triples/core/linsos/linsos.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/linsos/linsos.py -------------------------------------------------------------------------------- /triples/core/linsos/models/linearsossolver_length_model.npz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/linsos/models/linearsossolver_length_model.npz -------------------------------------------------------------------------------- /triples/core/linsos/models/linearsossolver_prob_model.npz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/linsos/models/linearsossolver_prob_model.npz -------------------------------------------------------------------------------- /triples/core/linsos/models/linearsossolver_time_model.npz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/linsos/models/linearsossolver_time_model.npz -------------------------------------------------------------------------------- /triples/core/linsos/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/linsos/solution.py -------------------------------------------------------------------------------- /triples/core/linsos/tangents.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/linsos/tangents.py -------------------------------------------------------------------------------- /triples/core/linsos/updegree.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/linsos/updegree.py -------------------------------------------------------------------------------- /triples/core/node.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/node.py -------------------------------------------------------------------------------- /triples/core/preprocess/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/preprocess/__init__.py -------------------------------------------------------------------------------- /triples/core/preprocess/algebraic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/preprocess/algebraic.py -------------------------------------------------------------------------------- /triples/core/preprocess/features.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/preprocess/features.py -------------------------------------------------------------------------------- /triples/core/preprocess/modeling.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/preprocess/modeling.py -------------------------------------------------------------------------------- /triples/core/preprocess/pivoting.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/preprocess/pivoting.py -------------------------------------------------------------------------------- /triples/core/preprocess/polynomial.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/preprocess/polynomial.py -------------------------------------------------------------------------------- /triples/core/preprocess/reparam.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/preprocess/reparam.py -------------------------------------------------------------------------------- /triples/core/preprocess/signs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/preprocess/signs.py -------------------------------------------------------------------------------- /triples/core/preprocess/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/core/preprocess/tests/test_signs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/preprocess/tests/test_signs.py -------------------------------------------------------------------------------- /triples/core/problem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/problem.py -------------------------------------------------------------------------------- /triples/core/sdpsos/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/__init__.py -------------------------------------------------------------------------------- /triples/core/sdpsos/abstract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/abstract.py -------------------------------------------------------------------------------- /triples/core/sdpsos/algebra/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/algebra/__init__.py -------------------------------------------------------------------------------- /triples/core/sdpsos/algebra/basis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/algebra/basis.py -------------------------------------------------------------------------------- /triples/core/sdpsos/algebra/moment_algebra.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/algebra/moment_algebra.py -------------------------------------------------------------------------------- /triples/core/sdpsos/algebra/nc_poly_ring.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/algebra/nc_poly_ring.py -------------------------------------------------------------------------------- /triples/core/sdpsos/algebra/poly_ring.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/algebra/poly_ring.py -------------------------------------------------------------------------------- /triples/core/sdpsos/algebra/pseudo_poly.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/algebra/pseudo_poly.py -------------------------------------------------------------------------------- /triples/core/sdpsos/algebra/state_algebra.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/algebra/state_algebra.py -------------------------------------------------------------------------------- /triples/core/sdpsos/manifold.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/manifold.py -------------------------------------------------------------------------------- /triples/core/sdpsos/models/sdpsossolver_length_model.npz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/models/sdpsossolver_length_model.npz -------------------------------------------------------------------------------- /triples/core/sdpsos/models/sdpsossolver_prob_model.npz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/models/sdpsossolver_prob_model.npz -------------------------------------------------------------------------------- /triples/core/sdpsos/models/sdpsossolver_time_model.npz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/models/sdpsossolver_time_model.npz -------------------------------------------------------------------------------- /triples/core/sdpsos/sdpsos.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/sdpsos.py -------------------------------------------------------------------------------- /triples/core/sdpsos/sohs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/sohs.py -------------------------------------------------------------------------------- /triples/core/sdpsos/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/solution.py -------------------------------------------------------------------------------- /triples/core/sdpsos/sos.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/sos.py -------------------------------------------------------------------------------- /triples/core/sdpsos/sos_moment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/sos_moment.py -------------------------------------------------------------------------------- /triples/core/sdpsos/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/core/sdpsos/tests/test_sos_obj.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sdpsos/tests/test_sos_obj.py -------------------------------------------------------------------------------- /triples/core/shared.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/shared.py -------------------------------------------------------------------------------- /triples/core/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/solution.py -------------------------------------------------------------------------------- /triples/core/structsos/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/__init__.py -------------------------------------------------------------------------------- /triples/core/structsos/constrained/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/constrained/__init__.py -------------------------------------------------------------------------------- /triples/core/structsos/constrained/acute.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/constrained/acute.py -------------------------------------------------------------------------------- /triples/core/structsos/constrained/linear.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/constrained/linear.py -------------------------------------------------------------------------------- /triples/core/structsos/constrained/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/constrained/solver.py -------------------------------------------------------------------------------- /triples/core/structsos/nvars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/nvars.py -------------------------------------------------------------------------------- /triples/core/structsos/pivoting/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/pivoting/__init__.py -------------------------------------------------------------------------------- /triples/core/structsos/pivoting/bivariate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/pivoting/bivariate.py -------------------------------------------------------------------------------- /triples/core/structsos/pivoting/univariate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/pivoting/univariate.py -------------------------------------------------------------------------------- /triples/core/structsos/quarternary/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/quarternary/__init__.py -------------------------------------------------------------------------------- /triples/core/structsos/quarternary/cubic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/quarternary/cubic.py -------------------------------------------------------------------------------- /triples/core/structsos/quarternary/quartic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/quarternary/quartic.py -------------------------------------------------------------------------------- /triples/core/structsos/quarternary/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/quarternary/solver.py -------------------------------------------------------------------------------- /triples/core/structsos/quarternary/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/quarternary/utils.py -------------------------------------------------------------------------------- /triples/core/structsos/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/solution.py -------------------------------------------------------------------------------- /triples/core/structsos/sparse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/sparse.py -------------------------------------------------------------------------------- /triples/core/structsos/structsos.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/structsos.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/__init__.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/acyclic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/acyclic.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/cubic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/cubic.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/dense_symmetric.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/dense_symmetric.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/nonic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/nonic.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/octic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/octic.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/octic_symmetric.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/octic_symmetric.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/quadratic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/quadratic.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/quartic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/quartic.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/quintic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/quintic.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/quintic_symmetric.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/quintic_symmetric.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/septic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/septic.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/septic_symmetric.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/septic_symmetric.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/sextic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/sextic.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/sextic_symmetric.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/sextic_symmetric.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/solver.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/sparse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/sparse.py -------------------------------------------------------------------------------- /triples/core/structsos/ternary/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/ternary/utils.py -------------------------------------------------------------------------------- /triples/core/structsos/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/core/structsos/tests/test_univariate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/tests/test_univariate.py -------------------------------------------------------------------------------- /triples/core/structsos/univariate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/univariate.py -------------------------------------------------------------------------------- /triples/core/structsos/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/structsos/utils.py -------------------------------------------------------------------------------- /triples/core/sum_of_squares.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/sum_of_squares.py -------------------------------------------------------------------------------- /triples/core/symsos/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/symsos/__init__.py -------------------------------------------------------------------------------- /triples/core/symsos/basic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/symsos/basic.py -------------------------------------------------------------------------------- /triples/core/symsos/representation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/symsos/representation.py -------------------------------------------------------------------------------- /triples/core/symsos/symmetric.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/symsos/symmetric.py -------------------------------------------------------------------------------- /triples/core/symsos/symsos.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/symsos/symsos.py -------------------------------------------------------------------------------- /triples/core/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/core/tests/test_dispatch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/tests/test_dispatch.py -------------------------------------------------------------------------------- /triples/core/tests/test_problem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/core/tests/test_problem.py -------------------------------------------------------------------------------- /triples/gui/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/gui/__init__.py -------------------------------------------------------------------------------- /triples/gui/grid.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/gui/grid.py -------------------------------------------------------------------------------- /triples/gui/linebreak.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/gui/linebreak.py -------------------------------------------------------------------------------- /triples/gui/sos_manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/gui/sos_manager.py -------------------------------------------------------------------------------- /triples/gui/visualize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/gui/visualize.py -------------------------------------------------------------------------------- /triples/sdp/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/__init__.py -------------------------------------------------------------------------------- /triples/sdp/abstract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/abstract.py -------------------------------------------------------------------------------- /triples/sdp/arithmetic/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/arithmetic/__init__.py -------------------------------------------------------------------------------- /triples/sdp/arithmetic/eigens.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/arithmetic/eigens.py -------------------------------------------------------------------------------- /triples/sdp/arithmetic/linsolve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/arithmetic/linsolve.py -------------------------------------------------------------------------------- /triples/sdp/arithmetic/lll.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/arithmetic/lll.py -------------------------------------------------------------------------------- /triples/sdp/arithmetic/matmul.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/arithmetic/matmul.py -------------------------------------------------------------------------------- /triples/sdp/arithmetic/matop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/arithmetic/matop.py -------------------------------------------------------------------------------- /triples/sdp/arithmetic/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/sdp/arithmetic/tests/test_eigens.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/arithmetic/tests/test_eigens.py -------------------------------------------------------------------------------- /triples/sdp/arithmetic/tests/test_matmul.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/arithmetic/tests/test_matmul.py -------------------------------------------------------------------------------- /triples/sdp/backends/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/__init__.py -------------------------------------------------------------------------------- /triples/sdp/backends/backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/backend.py -------------------------------------------------------------------------------- /triples/sdp/backends/caller.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/caller.py -------------------------------------------------------------------------------- /triples/sdp/backends/clarabel_sdp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/clarabel_sdp.py -------------------------------------------------------------------------------- /triples/sdp/backends/cvxopt_sdp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/cvxopt_sdp.py -------------------------------------------------------------------------------- /triples/sdp/backends/cvxpy_sdp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/cvxpy_sdp.py -------------------------------------------------------------------------------- /triples/sdp/backends/mosek_sdp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/mosek_sdp.py -------------------------------------------------------------------------------- /triples/sdp/backends/picos_sdp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/picos_sdp.py -------------------------------------------------------------------------------- /triples/sdp/backends/qics_sdp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/qics_sdp.py -------------------------------------------------------------------------------- /triples/sdp/backends/sdpap_sdp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/sdpap_sdp.py -------------------------------------------------------------------------------- /triples/sdp/backends/settings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/settings.py -------------------------------------------------------------------------------- /triples/sdp/backends/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/sdp/backends/tests/test_backends.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/backends/tests/test_backends.py -------------------------------------------------------------------------------- /triples/sdp/dual.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/dual.py -------------------------------------------------------------------------------- /triples/sdp/ipm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/ipm.py -------------------------------------------------------------------------------- /triples/sdp/primal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/primal.py -------------------------------------------------------------------------------- /triples/sdp/rationalize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/rationalize.py -------------------------------------------------------------------------------- /triples/sdp/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/sdp/tests/test_dual.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/tests/test_dual.py -------------------------------------------------------------------------------- /triples/sdp/tests/test_primal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/tests/test_primal.py -------------------------------------------------------------------------------- /triples/sdp/transforms/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/transforms/__init__.py -------------------------------------------------------------------------------- /triples/sdp/transforms/linear.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/transforms/linear.py -------------------------------------------------------------------------------- /triples/sdp/transforms/parametric.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/transforms/parametric.py -------------------------------------------------------------------------------- /triples/sdp/transforms/polytope.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/transforms/polytope.py -------------------------------------------------------------------------------- /triples/sdp/transforms/transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/transforms/transform.py -------------------------------------------------------------------------------- /triples/sdp/transforms/transformable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/transforms/transformable.py -------------------------------------------------------------------------------- /triples/sdp/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/sdp/utils.py -------------------------------------------------------------------------------- /triples/testing/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/testing/fix_code_quality.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/testing/fix_code_quality.py -------------------------------------------------------------------------------- /triples/testing/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/testing/tests/test_dependency.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/testing/tests/test_dependency.py -------------------------------------------------------------------------------- /triples/utils/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/__init__.py -------------------------------------------------------------------------------- /triples/utils/expression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/expression.py -------------------------------------------------------------------------------- /triples/utils/expressions/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/expressions/__init__.py -------------------------------------------------------------------------------- /triples/utils/expressions/coeff.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/expressions/coeff.py -------------------------------------------------------------------------------- /triples/utils/expressions/cyclic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/expressions/cyclic.py -------------------------------------------------------------------------------- /triples/utils/expressions/exraw.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/expressions/exraw.py -------------------------------------------------------------------------------- /triples/utils/expressions/psatz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/expressions/psatz.py -------------------------------------------------------------------------------- /triples/utils/expressions/soscone.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/expressions/soscone.py -------------------------------------------------------------------------------- /triples/utils/expressions/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/utils/expressions/tests/test_cyclic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/expressions/tests/test_cyclic.py -------------------------------------------------------------------------------- /triples/utils/monomials.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/monomials.py -------------------------------------------------------------------------------- /triples/utils/pqr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/pqr.py -------------------------------------------------------------------------------- /triples/utils/roots/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/roots/__init__.py -------------------------------------------------------------------------------- /triples/utils/roots/extrema.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/roots/extrema.py -------------------------------------------------------------------------------- /triples/utils/roots/monotonic_opt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/roots/monotonic_opt.py -------------------------------------------------------------------------------- /triples/utils/roots/num_extrema.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/roots/num_extrema.py -------------------------------------------------------------------------------- /triples/utils/roots/polysolve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/roots/polysolve.py -------------------------------------------------------------------------------- /triples/utils/roots/rationalize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/roots/rationalize.py -------------------------------------------------------------------------------- /triples/utils/roots/root_list.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/roots/root_list.py -------------------------------------------------------------------------------- /triples/utils/roots/roots.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/roots/roots.py -------------------------------------------------------------------------------- /triples/utils/roots/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/utils/roots/tests/test_extrema.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/roots/tests/test_extrema.py -------------------------------------------------------------------------------- /triples/utils/roots/tests/test_num_extrema.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/roots/tests/test_num_extrema.py -------------------------------------------------------------------------------- /triples/utils/roots/tests/test_roots.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/roots/tests/test_roots.py -------------------------------------------------------------------------------- /triples/utils/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /triples/utils/tests/test_text_process.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/tests/test_text_process.py -------------------------------------------------------------------------------- /triples/utils/text_process.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/text_process.py -------------------------------------------------------------------------------- /triples/utils/tree_predictor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/triples/utils/tree_predictor.py -------------------------------------------------------------------------------- /web_main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ForeverHaibara/Triple-SOS/HEAD/web_main.py --------------------------------------------------------------------------------