Get p-adic precision of the base field of a Galois representation.
Destructively change p-adic precision of the base field of a Galois representation.
Change p-adic precision of the base field of a Galois representation.
> 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]
V2.28, 13 July 2023