10.10.9.2 Bugs
-  The fuzzy comparison of floats is the source for all sorts of
weirdness. If a result in R surprises you, then try to run the program
in Q before you send me a bug report.
-  The projector for floundered nonlinear relations keeps too many
variables. Its output is rather unreadable.
-  Disequations are not projected properly.
-  This list is probably incomplete.
Send feedback on this subject.