Added functions for testing a*b==c to MonoMonoid and forwarding from PolyRing.