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
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
Thanks! I'll submit a bug report then.
We'll look into it.