-- -*- M2-comint -*- hash: 16358699387661525576

i1 : R = makeProductRing({1,2})

o1 = R

o1 : PolynomialRing

i2 : x=gens R

o2 = {a, b, c, d, e}

o2 : List

i3 : degrees R

o3 = {{1, 0}, {1, 0}, {0, 1}, {0, 1}, {0, 1}}

o3 : List

i4 : isMultiHom ideal(x_0^2*x_2+x_1*x_2^2)
Input term below is not homogeneous with respect to the grading
 2       2
a c + b*c

o4 = false

i5 : isMultiHom ideal(x_0^2*x_2+x_1^2*x_3)

o5 = true

i6 : 
