QEPCAD - Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

       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).

       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.

       QEPCAD - Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

       -h     Help information

       -v     Print version string

       -noecho
              Turns off echoing of input

       -t <num>
              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.

cad2d(1)

                                                                                                       QEPCAD(1)

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