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

Function

AbsoluteMinimalPolynomial ( elt-ord^num x ) -> elt-alg^pol

Description

The minimal polynomial of x over Z.

Examples

x_R := PolynomialAlgebra( IntegerRing() ); x_x := Generator(x_R, 1); x_O := MaximalOrder(x_x^2 - 18); x_a := Element(x_O, [0,1] ); x_Ox := PolynomialAlgebra( x_O ); x_x := Generator(x_Ox, 1); x_OO := MaximalOrder( x_x^3 - 27*x_a ); x_b := Element(x_OO, [0,0,1]); x_f := AbsoluteMinimalPolynomial(x_b); Evaluate(x_f, x_b);
Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group