IsOne(X: OBJECT): BOOL
/**/ IsMinusOne(23); false /**/ IsMinusOne(3/-3); true /**/ use R ::= QQ[x,y,z]; /**/ IsMinusOne(-x/x); true