1 | initial version |
If you expect an answer you should tell Sage what are your assumptions (ie in the case you mention assume(c > 2)
). Nevertheless, assuming your intution is correct, you can not rely on the output of bool(my_expression)
as
sage: assume(c > 3)
sage: bool(Sequence_rec(4) > Sequence_rec(3))
False
sage: bool(Sequence_rec(4) < Sequence_rec(3))
False
sage: bool(Sequence_rec(4) == Sequence_rec(3))
False