First time here? Check out the FAQ!
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.
assume(7^x == 282475249)
I'm running SageMath version 8.0, Release Date: 2017-07-21
SageMath version 8.0, Release Date: 2017-07-21