Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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$.

share|cite|improve this question
Do you want to solve the equation first and then find $a^4$ which $a$ is any root? – Babak S. Mar 24 '13 at 12:06
Using substitutions as here… should work. – Andrew Mar 24 '13 at 12:07
Yea with $a$ being any root @BabakS. I would like to get $a-3a^2$ as output. – Heitor Fontana Mar 24 '13 at 12:17
@Andrew : Thanks, I took a look at the link but it's not clear to me. So what would you write in my case? – Heitor Fontana Mar 24 '13 at 12:18
Have you tried PolynomialMod? – Elmar Zander Mar 24 '13 at 12:20

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.