R = ZZ/11[x,y,z]
f = random(5,R)
g = random(7,R)
h = f+g
k = f*g
k1 = toString k
isHomogeneous h