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

Function

IsIntegral ( elt-fld^pad x ) -> elt-alg^boo

Description

True iff element a is in the ring of integers of its parent.

Examples

x_fp := pAdicField(7,20);; IsIntegral(x_fp.1);
x_fp := pAdicField(7,20);; x_u := UniformizingElement(x_fp); IsIntegral(1/x_u);
Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group