QFFWLR(F,V)
[Quantifier-free formula write,linear, rational. F is a
quantifier-free formula with rational polynomials.
V is a variable list for F.
F is written in the output stream in a format that
can be read back
in.]
(1) QFFWLS(F,V,1); CWRITE(' '); CWRITE('$'); return..