sagemath_qepcad: Quantifier elimination by partial cylindrical algebraic decomposition with QEPCAD¶
This pip-installable source distribution passagemath-qepcad provides an interface to
QEPCAD.
Example¶
$ pipx run --pip-args="--prefer-binary" --spec "passagemath-qepcad[test]" ipython
In [1]: from sage.all__sagemath_symbolics import *
In [2]: var('x,y')
In [3]: ellipse = 3*x^2 + 2*x*y + y^2 - x + y - 7
In [4]: F = qepcad_formula.exists(y, ellipse == 0); F
In [5]: qepcad(F)
Type¶
optional
Dependencies¶
Version Information¶
package-version.txt:
10.6.3
version_requirements.txt:
passagemath-qepcad ~= 10.6.3.0
Equivalent System Packages¶
(none known)