Hi - I am trying to do some calcs in Mathematica using the FiniteFields package, inside vector spaces over finite fields. I would just like to know whether there are any built-in functions (or available user-defined code workarounds) for functions like the absolute trace or norm functions from a Galois field down to its prime field? All I can see as a possibility in the documentation is that I could laboriously define the Frobenius mapping and then by another laborious routine implement a term-by-term calculation ... surely there is a better way?!! If not, I guess I'll have to do it in GAP which does have this functionality. Thanks!
