[Next][Prev] [Right] [Left] [Up] [Index] [Root]

CYCLOTOMIC FIELDS

 
Acknowledgements
 
Introduction
 
Creation Functions
      Creation of Cyclotomic Fields
      Creation of Elements
 
Structure Operations
      Invariants
 
Element Operations
      Predicates on Elements
      Conjugates







DETAILS

 
Introduction

 
Creation Functions

      Creation of Cyclotomic Fields
            CyclotomicField(m) : RngIntElt -> FldCyc
            CyclotomicPolynomial(m) : RngIntElt -> RngUPolElt
            MinimalField(a) : FldRatElt -> FldRat
            MinimalField(S) : [ FldCycElt ] -> FldCyc
            Example FldCyc_creation (H36E1)

      Creation of Elements
            RootOfUnity(n) : RngIntElt -> FldCycElt
            RootOfUnity(n, K) : RngIntElt, FldCyc -> FldCycElt
            Minimise(~a) : FldCycElt ->
            Minimise(~s) : [ FldCycElt ] ->
            Minimise(a) : FldCycElt -> RngElt
            Minimise(s) : { FldCycElt } -> { RngElt }

 
Structure Operations

      Invariants
            Conductor(K) : FldCyc -> RngIntElt, [RngIntElt]
            CyclotomicOrder(K) : FldCyc -> RngIntElt
            CyclotomicAutomorphismGroup(K) : FldCyc -> GrpAb, Map
            CyclotomicRelativeField(k, K) : FldCyc, FldCyc -> FldNum

 
Element Operations

      Predicates on Elements
            IsReal(a) : FldCycElt -> BoolElt

      Conjugates
            ComplexConjugate(a) : FldCycElt -> FldCycElt
            Conjugate(a, n) : FldCycElt, RngIntElt -> FldCycElt
            Conjugate(a, r) : FldCycElt, FldCycElt -> FldCycElt
            Example FldCyc_GaussianPeriods (H36E2)

[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of Mon Dec 17 14:40:36 EST 2012