rename finite fields in MAGMA: "GF(8) -> GF(2^3)"