Fri Sep 18 14:19:26 CEST 2009


So, how to use this, starting from a bunch of equations.  Essentially,
what we want to do is 1. to figure out which are the variables, 2. see
if they make up a linear system.

For 2. what is needed is for every symbolic multiplication, at least
one of the variables needs to reduce to a constant.