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.. Ę#˜JšĎfĂ˜Ă—…—Fo