8
x y z t a b c d

/*Examples from Chemistry, page 35. Variables are renamed to correspond to
the paper by Traverso and Donati*/

x y + x z + x t - a;
y x + y z + y t - b;
z y + z y + z t - c;
t x + t y + t z - d;;
