IsOne(X: OBJECT): BOOL
/**/ IsOne(23); false /**/ IsOne(3/3); true /**/ Use R ::= QQ[x,y,z]; /**/ IsOne(1); false /**/ IsOne(ideal(x^2, x^2-1)); false