import scas._
implicit val product = Product(ModInteger(3), ModInteger(5))
val a = product(1, 3)
val b = a + a
assert (b >< product(2, 1))
assert (product.toString == "ZZ(3)*ZZ(5)")
assert (product.characteristic.intValue == 15)