qepcad: Quantifier elimination by partial cylindrical algebraic decomposition¶

Description¶

Qepcad is an implementation of quantifier elimination by partial cylindrical algebraic decomposition

License¶

ICS Wikipedia article ISC_license

Upstream Contact¶

Repository: https://github.com/chriswestbrown/qepcad
Tarballs: https://www.usna.edu/Users/cs/wcbrown/qepcad/INSTALL/IQ.html
Website: (outdated) https://www.usna.edu/Users/cs/wcbrown/qepcad/B/QEPCAD.html

Type¶

optional

Dependencies¶

Version Information¶

package-version.txt:

1.74

Equivalent System Packages¶

Debian/Ubuntu

$ sudo apt-get install qepcad

Fedora/Redhat/CentOS

$ sudo yum install qepcad-B

MacPorts

$ sudo port install qepcad

See https://repology.org/project/qepcad-b/versions

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