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!
closed as off topic by Andreas Blass, Simon Thomas, Chris Godsil, Henry Cohn, Felipe Voloch Oct 17 at 14:58