- Overview
- Creating Galois Representations
- ZeroRepresentation(K) : FldPad -> GalRep
- Example GalRep_galrep-zerorepresentation (H57E2)
- PrincipalCharacter(K) : FldPad -> GalRep
- Example GalRep_galrep-principalcharacter (H57E3)
- CyclotomicCharacter(K) : FldPad -> GalRep
- Example GalRep_galrep-cyclotomiccharacter (H57E4)
- UnramifiedCharacter(K,c) : FldPad, Any -> GalRep
- Example GalRep_galrep-unramifiedcharacter (H57E5)
- UnramifiedRepresentation(K,CharPoly) : FldPad,RngUPolElt -> GalRep
- Example GalRep_galrep-unramifiedrepresentation (H57E6)
- UnramifiedRepresentation(K,dim,dimcomputed,CharPoly) : FldPad,RngIntElt,RngIntElt,RngUPolElt -> GalRep
- Example GalRep_galrep-notfullycomputed (H57E7)
- SP(K,n) : FldPad,RngIntElt -> GalRep
- Example GalRep_galrep-sp (H57E8)
- SP(K,f,n) : FldPad,RngUPolElt,RngIntElt -> GalRep
- Example GalRep_galrep-sp-1 (H57E9)
- Representations from Finite Extensions
- Local Representations of Global Objects
- GaloisRepresentation(chi,p) : GrpDrchElt,RngIntElt -> GalRep
- Example GalRep_galrep-dirichlet (H57E14)
- GaloisRepresentation(A,p) : ArtRep,RngIntElt -> GalRep
- Example GalRep_galrep-artin (H57E15)
- GaloisRepresentation(E) : CrvEll -> GalRep
- Example GalRep_galrep-E (H57E16)
- GaloisRepresentation(E,p) : CrvEll,RngIntElt -> GalRep
- Example GalRep_galrep-E-p (H57E17)
- GaloisRepresentation(E,P) : CrvEll,RngOrdIdl -> GalRep
- Example GalRep_galrep-E-P (H57E18)
- GaloisRepresentation(C) : CrvHyp[FldPad] -> GalRep
- Example GalRep_galrep-crvhyp-Qp (H57E19)
- GaloisRepresentation(C,p) : CrvHyp[FldRat], RngIntElt -> GalRep
- Example GalRep_galrep-crvhyp-Q (H57E20)
- GaloisRepresentation(C,P) : CrvHyp[FldNum],RngOrdIdl -> GalRep
- Example GalRep_galrep-crvhyp-nf (H57E21)
- GaloisRepresentation(f,p) : ModFrmElt,RngIntElt -> GalRep
- Example GalRep_galrep-f-p (H57E22)
- Basic Invariants
- Arithmetic
- Changing Precision
- Changing Fields
- Advanced Examples
- Bibliography
V2.28, 13 July 2023