New Features and Improvements
-
Version 1.54 adds portability to 64-bit systems. Right now, I
can only verify that it compiles and runs properly on 64-bit
Ubuntu ... hopefully it's also OK on other 64-bit linux distros.
-
SLFQ
(Simplifying Large Quantifier-free Formulas with QEPCAD B),
a small program that simplifies large quantifier-free formulas
by making repeated calls to QEPCAD B to simplify subformulas.
In its current configuration, SLFQ requires at least QEPCAD B
version 1.54.
- QEPCAD now accepts input and (if desired) produces output in
an extended language that allows references to indexed roots
of polynomials. More Information ...
- QEPCAD allows an extended family of quantifiers including
"for infinitely many", "for all but finitely many", "for
precisely a connected subset", and "for exactly k".
QEPCAD is able to solve problems phrased with these
quantifiers much more quickly than if they were
translated into Tarski formulas! Especially if "for
infinitely many" or "for all but finitely many" are used.
More Information ...
- QEPCAD produces eps-file plots of 2-dimensional CADs.
- A modified version of QEPCAD that's optimized for 2D CAD
construction is included. It's called CAD2D.
More Information ...
- The McCallum Projection is now the default projection for
QEPCAD, and the program deals correctly with the possibility
of the projection's failure.
More Information ...
- QEPCAD can always produce solution formulas. The original
was sometimes only able to produce separate necessary and
sufficient conditions.
- General fixing of bugs and speeding up of bottlenecks.
Christopher W Brown