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