seflyer's profile - activity

I kind of get it, still I would say, whatever the evaluation algorithm is, a bug just showed itself and it might not be a good choice just treat it as something inevitable.

Tried the following in sage. The answer is False, which is apparently incorrect. Anyone ever encountered this before? Any idea on what happened here?

forget()
assume(x >= 0)
expr = sin(x) <= x
print(bool(expr))