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..