qepcad1
Quantifier elimination by partial cylindrical algebraic decomposition
Usage
qepcad [{-h | -v}]
[-noecho]
[-t
<num>]
[+N
<numcells>]
Overview
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.
Releases
2 releases since Debian 12 (Bookworm); the text changed 1 time.