KASH3 Ref - IsMinusOne

TU-Berlin | → | Inst. f. Mathematik | → | Algebra und Zahlentheorie | → | KASH | → | Documentation | → | Reference Manual
| KASH3 Reference Manual
Introduction | Reference Manual | Index
| search
| ### Function IsMinusOne ( elt-res^rat x ) -> elt-alg^boo ### Description Determine whether `x' is the additive inverse element of the multiplicative neutral element and return `TRUE' in this case, `FALSE' otherwise. ### Examples x_z2z := IntegerRing(2);; IsMinusOne(-One(x_z2z)); IsMinusOne(One(x_z2z));
| Built: Mon Nov 14 21:12:39 UTC 2005 on mack