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
First: [x>0] is a list
see:
type([x>0])
In your equation
[x>0] == [1==1]
you actually compare two different lists.
(x>0) == (1==1)
doesn't help
x>0 is a symbolic expression
1==1 gives the logical value True
What you can do is:
assume(x>0)
print(bool(x>0) == bool(1==1))
Asked: 2012-10-26 11:08:10 +0200
Seen: 498 times
Last updated: Oct 26 '12
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
