TU-Berlin | → | Inst. f. Mathematik | → | Algebra und Zahlentheorie | → | KASH | → | Documentation | → | Reference Manual
| KASH3 Reference Manual
Introduction | Reference Manual | Index
| 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