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: Changing the Precision of a Representation (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 (opens in a new tab)Copy input