I tired the code from the documentation of Eliminate and it doesn't work. Does any one know what is going on?
The documentation example returns False also in version 13.3. Version 12.3 gives the expected output.
False
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