1 | initial version |
Indeed, it is strange.
sage:log(8.0)/log(32.0) in QQ;
True
sage: log(8.0).parent()
Real Field with 53 bits of precision
As far as I can see the trouble comes from the Symbolic Ring.
sage:log(8)/log(32) in QQ;
False
sage: log(8).parent()
Symbolic Ring