Provided by: qepcad_1.74+ds-3_amd64 bug

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)