On 6/23/2012 2:33 PM, Krishna Myneni wrote:
>
>
> Hmm... Am I applying the fix incorrectly? The redefinition of
> resultant fixes the test case, given above, but solve() still doesn't
> work for me.:
I am puzzled by this -- I tried it and resultant didn't work when called
from solve.
Tracing resultand and ratsimp shows this.
....
" Enter "resultant[8*y^2+sqrt(7)-4,8*y^2-8*y-sqrt(7)-2,y]
.1" Enter "ratsimp[256*(sqrt(7)^2-7)]
.1" Exit "ratsimp256*sqrt(7)^2-1792
?????? 256*7 is indeed 1792 but ...
RJF