=======================================================
                Quantifier Elimination                 
                          in                           
            Elementary Algebra and Geometry            
                          by                           
      Partial Cylindrical Algebraic Decomposition      
                                                       
               Version B 1.69, 16 Mar 2012
                                                       
                          by                           
                       Hoon Hong                       
                  (hhong@math.ncsu.edu)                
                                                       
With contributions by: Christopher W. Brown, George E. 
Collins, Mark J. Encarnacion, Jeremy R. Johnson        
Werner Krandick, Richard Liska, Scott McCallum,        
Nicolas Robidoux, and Stanly Steinberg                 
=======================================================
Enter an informal description  between '[' and ']':
[SI CAD for Example 22]Enter a variable list:
(x,y,z,w)Enter the number of free variables:
4
Enter a prenex formula:
[ [x + y + z + w = 0 /\ z y - x^2 w < 0] ].

=======================================================

Before Normalization >
full-cad

Before Normalization >
go

Before Projection (w) >
go

Before Choice >
go
Warning! Some 3-level projection factor is acting as a 
delineating polynomial for another!  CAD Simplification does not
take this into account!

Before Solution >
d-fpc-stat
          propagation    trial-eval     total
true          0             46             46
false         0            511            511
total         0            557            557

Length of the projection-based formula :414

Before Solution >
go 
An equivalent quantifier-free formula:

y z + x^2 z + x^2 y + x^3 < 0 /\ w + z + y + x = 0


=====================  The End  =======================

-----------------------------------------------------------------------------
0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds.
363778 Cells in AVAIL, 500000 Cells in SPACE.

System time: 17 milliseconds.
System time after the initialization: 12 milliseconds.
-----------------------------------------------------------------------------
