# 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)`

```magma
> 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]

```