Q E P C A D - The CAD2D Program

The CAD2D program is a minor modification of QEPCAD for quantifier-free formulas in 2 variables. It is able to do some lifting steps completely with validated floating-point arithmetic, which can lead to much reduced overall time for 2-dimensional CAD computation. Particularly, if you're interested in plotting a 2-dimensional CAD, this is a better choice than QEPCAD. It's a bit buggy, though. Not in the "wrong answer" kind of way, but in the "might crash" kind of way. Work in progress!

Using CAD2D CAD2D works like QEPCAD, for the most part. The main difference is that once the formula is entered, the program automatically goes through the normalization, projection, and stack construction phases without any user interaction.

prompt% cad2d
     CAD2D - A Program for producing CADs of R^2       
Based on QEPCAD Version B 0.0, 26 Jul 2002, by Hoon Hong
with contributions by: Christopher W. Brown, George E. 
Collins, Mark J. Encarnacion, Jeremy R. Johnson        
Werner Krandick, Richard Liska, Scott McCallum,        
Nicolas Robiduex, and Stanly Steinberg                 
Enter an informal description  between '[' and ']':
[ An interesting CAD of R^2 to plot ]
Enter a variable list:
Enter the number of free variables:
Enter a prenex formula:
[ (x^2 + y^2)^4 - 7 x^6 y + 35 x^4 y^3 - 21 x^2 y^5 + 
  y^7 <= 0 /\ 2 y < x^2 + 1 ].


Before Solution >
p-2d-cad -1.25 1.25 -1.25 1.25 0.005 cad2.eps

Before Solution >
Quitting the QEPCAD system... Bye!

Implementation Information CAD2D is in the cad2d directory. It is essentially just a few modified files from QEPCAD, linked together with the regular QEPCAD libraries to form a program that does a little bit of optimization of 2D CAD construction. The code that does the numerical stuff is in extensions/lift2D.

QEPCAD account {Prof. Brown}
Last modified: Tue Jul 30 12:53:43 EDT 2002