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