---------------------
Equations of degree 4
---------------------

Inspired by http://alain.colmerauer.free.fr/alcol/ArchivesPublications/Equation4/Equation4.pdf

The tests are at http://josd.github.io/eye/reasoning/equation4/test
