I tired the code from the documentation of Eliminate and it doesn't work. Does any one know what is going on?
We'll look into it.
Thanks! I'll submit a bug report then.
The documentation says that I should get
Modulus == 5 && -2 x + x^2 - 2 x^3 + 2 x^4 + x^5 + x^6 == 2 && y == -2 - 2 x - 2 x^3 - x^4 + 2 x^5