QFFWR(F,V)
[Quantifier-free formula write. F is a quantifier-free formula
whose polynomials are positive primitive integral polynomials.
V is a variable list for F.
F is written in the output stream. The output buffer
is emptied beforehand and afterwards. A printer page is assumed
to carry 57 output lines. A main program using QFFWR should do
an initial EJECT=1 to calibrate line counting.]
const PSIZE=57.
safe G,g.
global G[80].
global g.
(1) EMPTOB; BLINES(1); g=0; QFFWRS(F,V,0);
POLWR(PSIZE-3); return..