- Overview
- Constructing Artin Representations
- Basic Invariants
- Field(A) : ArtRep -> FldNum
- Degree(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 ArtRep_artin-decompose (H47E2)
- DefiningPolynomial(A) : ArtRep -> RngUPolElt
- Minimize(A) : ArtRep -> ArtRep
- OptimizedRepresentation(A) : ArtRep -> ArtRep
- Kernel(A) : ArtRep -> FldNum
- Example ArtRep_artin-minimize (H47E3)
- 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
- Example ArtRep_artin-invariants (H47E4)
- DirichletCharacter(A) : ArtRep -> GrpDrchElt
- HeckeCharacter(A) : ArtRep -> GrpHeckeElt
- ArtinRepresentation(ch) : GrpDrchElt -> ArtRep
- Example ArtRep_one-dim-artin-reps (H47E5)
- Arithmetic
- Implementation Notes
- Bibliography
V2.28, 13 July 2023