Changing Precision#

Precision(A): GalRep -> RngIntElt#: Get \(p\)-adic precision of the base field of a Galois representation.

ChangePrecision(~A, Prec): GalRep, RngIntElt -> {}#: Destructively change \(p\)-adic precision of the base field of a Galois representation.

ChangePrecision(A, Prec): GalRep, RngIntElt -> GalRep#: Change \(p\)-adic precision of the base field of a Galois representation.

Example: Galrep Precision (ex-8bdd36)#

> K:=pAdicField(5,20);
> R<x>:=PolynomialRing(K);
> A:=GaloisRepresentations(x^4-5)[3];
> A;
1-dim Galois representation (1,1,-1,-1) with G=C4, I=C4, conductor 5^1
   over Q5[20]
> Precision(A);
20
> ChangePrecision(~A,40);
> Precision(A);
40
> ChangePrecision(A,20);
1-dim Galois representation (1,1,-1,-1) with G=C4, I=C4, conductor 5^1
   over Q5[20]

Run in calculator