Bugs
     
     - The fuzzy comparison of floats is the source for all sorts of
weirdness. If a result in R surprises you, 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. 
 
Please send bug reports to <christian@ai.univie.ac.at>.