[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Norm, Trace, and More

Norm, Trace, and More

Norm(a) : FldFunElt -> RngElt
Norm(a) : RngFunOrdElt -> RngElt
The norm of a function field or order element.
Trace(a) : FldFunElt -> RngElt
Trace(a) : RngFunOrdElt -> RngElt
The trace of a function field or order element.
Denominator(a) : FldFunElt -> RngElt
The denominator of a function field element.
Bstar(a) : RngFunOrdElt -> FldRatElt
Returns B^ * (a) for the function field order element a.
ValuationsAtInfinity(a) : RngFunOrdElt -> [ FldRatElt ]
The non-equivalent valuations of a at infinity; i.e. [v_1(a), .., v_s(a)].
Unit(F, Q) : FldFunElt, [RngIntElt] -> RngFunOrdElt
A unit u of the maximal finite order of F satisfying v_i(u) = Q[i] (0 < i < s), if such a unit exists.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]