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.
The documentation example returns False also in version 13.3. Version 12.3 gives the expected output.
False
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
