Minor improvements in functionality to PolyRing.
Added a library interface to MathicGB along with tests.