In Mathematica I would like to make symbolic computations in field extensions. For example, if $a$ is a root of $x^3+3x-1$, I would like to get $$ a^4 = a-3a^2 $$ if I asked the machine to compute $a^4$. How can I do this? I tried
but it does not work and just outputs $a^4$.