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¶

$(PYTHON)
$(PYTHON_TOOLCHAIN)
cysignals: Interrupt and signal handling for Cython
cython: C-Extensions for Python, an optimizing static compiler
gmp: Library for arbitrary precision arithmetic
mpc: Arithmetic of complex numbers with arbitrarily high precision and correct rounding
mpfr: Multiple-precision floating-point computations with correct rounding
pkgconf: An implementation of the pkg-config spec
pkgconfig: Python interface to pkg-config
qepcad: Quantifier elimination by partial cylindrical algebraic decomposition
sage_conf: Configuration module for the Sage library
sage-setup: Build system of the Sage library
sagemath_environment: System and software environment
sagemath_repl: IPython kernel, Sage preparser, doctester
setuptools: Build system for Python packages

Version Information¶

package-version.txt:

10.6.29

version_requirements.txt:

passagemath-qepcad ~= 10.6.29.0

Installation commands¶

PyPI:

$ pip install passagemath-qepcad~=10.6.29.0

Sage distribution:

$ sage -i sagemath_qepcad

However, these system packages will not be used for building Sage because spkg-configure.m4 has not been written for this package; see upstream Issue #27330 for more information.