QFFWRR(F,V)
[Quantifier-free formula write, rational polynomial version.
F is a quantifier-free formula whose polynomials
are rational 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,1);
POLWR(PSIZE-3); return..