Overview
Constructing Artin Representations ArtinRepresentations(K) : FldNum -> SeqEnum K !! ch : FldNum, AlgChtrElt -> ArtRep PermutationCharacter(K) : FldNum -> ArtRep BaseChange(A,F) : ArtRep, FldNum -> ArtRep Example ArtRep_artin-const (H41E1)
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] MinimalField(A) : ArtRep -> FldNum, Map, ArtRep IsIrreducible(A) : ArtRep -> BoolElt IsRamified(A, p) : ArtRep, RngIntElt -> BoolElt IsWildlyRamified(A, p) : ArtRep, RngIntElt -> BoolElt Example ArtRep_artin-invariants (H41E2)
Arithmetic A1 + A2: ArtRep, ArtRep -> ArtRep A1 - A2: ArtRep, ArtRep -> ArtRep A1 * A2: ArtRep, ArtRep -> ArtRep A1 eq A2: ArtRep, ArtRep -> BoolElt A1 ne A2: ArtRep, ArtRep -> BoolElt Example ArtRep_artin-arith1 (H41E3) Example ArtRep_artin-arith2 (H41E4) [Next][Prev] [Right] [____] [Up] [Index] [Root]
