QFFWL(F,V)
[Quantifier-free formula write,linear. 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 in a format
that can be read back
in.]
(1) QFFWLS(F,V,0); CWRITE(' '); CWRITE('$'); return..