Hi ! Here I have a small sage code.
x = var('x'); assume(x>0); print([x>0] == [1==1])
Sage prints it as "False".
In the above piece of code "[x>0] == [1==1]" is logically true as there is already an assumption, though it gives False.
I wish to know How does comparison operator "==" works ? Specially when comparing two predicates ? Does there any other function exist for such comparison ?
Best regards