TU-Berlin | → | Inst. f. Mathematik | → | Algebra und Zahlentheorie | → | KASH | → | Documentation | → | Reference Manual
| KASH3 Reference Manual
Introduction | Reference Manual | Index
| search
| ### Function IsMinusOne ( elt-ord^fun 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_QX := PolynomialAlgebra(Q);; x_QY := PolynomialAlgebra(x_QX);; x_f := x_QY.1^2+2;; x_F := FunctionField(x_f);; x_of := MaximalOrderFinite(x_F); IsMinusOne(-One(x_of));
| Built: Mon Nov 14 21:12:39 UTC 2005 on mack