Changed PolyBasis to use MonoMonoid.