Is there a computer algebra system that can do arithmetic over polynomial algebras over finite fields where I can specify the extension?
Exempli gratia, if $f(x), g(x) \in \mathbb{F}_p[\mu]/(m(\mu))[x]$, I'd like the CAS to be able to compute things like $f(x + \mu) + g(x)$ where I specify the polynomial $m(\mu)$.
Thanks
Best Answer
You can do these things in Sage quite easily. Here is an example (using Sage 5.2):
Another option is to use GAP (kindly provided by A.Konovalov)