TU-Berlin → Inst. f. Mathematik → Algebra und Zahlentheorie → KASH → Documentation → Reference Manual
 KASH3 Reference Manual
Documentation
IntroductionReference ManualIndex
search    

Function

IsMinusOne ( elt-fld^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); IsMinusOne(-One(x_F));
Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group