Artin Representations
- Overview
- Constructing Artin Representations
- Basic Invariants
Field(A): ArtRep → FldNum
BaseField(A): ArtRep → Fld
Degree(A): ArtRep → RngIntElt
Dimension(A): ArtRep → RngIntElt
Group(A): ArtRep → GrpPerm
Character(A): ArtRep → AlgChtrElt
Conductor(A): ArtRep → RngIntElt
Decomposition(A): ArtRep → SeqEnum[Tup]
RationalDecomposition(A): ArtRep → SeqEnum[Tup]
Example: Artin Decompose
DefiningPolynomial(A): ArtRep → RngUPolElt
Minimize(A): ArtRep → ArtRep
OptimizedRepresentation(A): ArtRep → ArtRep
Kernel(A): ArtRep → FldNum
Example: Artin Minimize
IsIrreducible(A): ArtRep → BoolElt
IsRamified(A, p): ArtRep, RngIntElt → BoolElt
IsWildlyRamified(A, p): ArtRep, RngIntElt → BoolElt
EulerFactor(A, p): ArtRep, RngIntElt → RngUPolElt
EpsilonFactor(A): ArtRep → FldComElt
RootNumber(A): ArtRep → FldComElt
EpsilonFactor(A,p): ArtRep, RngIntElt → FldComElt
RootNumber(A,p): ArtRep, RngIntElt → FldComElt
EpsilonFactor(A,infty): ArtRep, Infty → FldComElt
RootNumber(A,infty): ArtRep, Infty → FldComElt
Example: Artin Invariants
DirichletCharacter(A): ArtRep → GrpDrchElt
HeckeCharacter(A): ArtRep → GrpHeckeElt
ArtinRepresentation(ch): GrpDrchElt → ArtRep
Example: One Dim Artin Reps
- Arithmetic
- Implementation Notes