i1 : S = QQ[x,y]/(1-(x-1)*(y-1));
i2 : isUnit (x^2 - 2*x + 1) o2 = true
Class of returned value: Boolean -- the class of Boolean valuesWays to use isUnit :