QEPCAD

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)