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

Function

Module ( seq(tup()) S ) -> mdl^ded, map()

Optional Arguments

Resultselt-ord^rat1 <= Results <= 2
ModIdelt-ids^int/ord^num

Description

Inverse to PseudoBasis.

Examples

x_o := MaximalOrder(X^5 - 2); x_oy := PolynomialAlgebra(x_o); x_eo := EquationOrder(x_oy.1^2 + 7); x_mdl := Module(x_eo); x_pb := PseudoBasis(x_mdl); Module(x_pb);
Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group