Ask Your Question

Revision history [back]

Why does assume() mess with equality checks?

I ran into this interesting behaviour just now:

sage: bool(10 == log(282475249)/log(7))
True
sage: assume(282475249 == 7^x)
sage: bool(10 == log(282475249)/log(7))
False

Is this a bug? assume(7^x == 282475249) doesn't trigger the weird behaviour, but I'd expect those two assumptions to be equivalent.

I'm running SageMath version 8.0, Release Date: 2017-07-21