isUnit
isUnit r
-- determines whether a ring element is a unit.
i1 : S = QQ[x,y]/(1-(x-1)*(y-1));
i2 : isUnit (x^2 - 2*x + 1)
o2 = true
