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

Keyword

Unit Groups

Description

KASH3 provides several functions dealing with the units of an order. In order to compute a system of fundamental units the 'UnitGroup' function should be used. It returns the unit group as a finitely generated abelian group and a map from this abelian group to the order.The function 'TorsionUnitGroup' returns the torsion subgroup of the unit group

Examples

f := X^5 + 4*X^4 - 56*X^2 -16*X + 192;o := EquationOrder(f); O := MaximalOrder(o); U := UnitGroup(O); Apply(x->U.ext1(x),List(Generators(U)));
Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group