Support for MathicGB. Early interface with no options.
Build system support for MathicGB.
Added support for option(prot) to MathicGB interface.
The MathicGB interface now picks up the monomail order from the ambient ring of the ideal that it is computing a Groebner basis from. However,t his is done in a way that makes MathicGB slow, so I need to improve this. But it works.
Make use of new MathicGB support for both left and right variants of lex and revlex.
Added a template instantiation to singmathic.