Man page - qepcad(1)

Packages contas this manual

Manual

QEPCAD(1) General Commands Manual QEPCAD(1)

QEPCAD - Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

qepcad [-h|-v] [-noecho] [-t <num> ] [+N <numcells> ]

QEPCAD B is a program for studying Cylindrical Algebraic Decomposition (CAD). It constructs CADs from an input formula and variable order, and provides many commands for getting info out of the CAD, including construction of simple equivalent Tarski formulas.

Help information
Print version string
Turns off echoing of input
Sets a timeout of <num> seconds.
+N<numcells>
Sets garbage collected space to <numcells>. Default is 2000000. Maximum allowable is 1073741822 (Because "Word" is 32 bits).
+h
Prints Saclib help message.

The principal author of the original QEPCAD is Hoon Hong. Other contributors include:

•
Christopher W. Brown
•
George E. Collins
•
Mark J. Encarnacion
•
Jeremy R, Johnson
•
Werner Krandick
•
Scott McCallum
•
Stanly Steinberg
•
Richard Liska
•
Nicolas Robidoux

The author of Version B is Christopher W. Brown <wcbrown@usna.edu>.

This manual page was written by Doug Torrance <dtorrance@debian.org> for the Debian GNU/Linux system (but may be used by others).

cad2d(1)