NAME

       QEPCAD - Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

SYNOPSIS

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

DESCRIPTION

       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.

OPTIONS

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

AUTHORS

       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@piedmont.edu>  for  the  Debian
       GNU/Linux system (but may be used by others).

SEE ALSO

       cad2d(1)

                                                                                        QEPCAD(1)