Le 08/01/2013 19:25, Volker Braun a écrit :
On Tuesday, January 8, 2013 5:59:09 PM UTC, Snark wrote:
For the equality, there's no problem.
Is it?
1 == 0 (false)
1*0 == 0*0 multiply both sides
0 == 0 (true)
I don't see it as a problem, as "false implies true" is true.
The only problem is if sage takes something true and turns it into
something false, which is the case if "101 > 100" is turned into "-101 >
-100" by multiplication by -1 (the case which started the thread).
I stand by what I said: equality isn't a problem.
Snark on #sagemath
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To post to this group, send email to sage-devel@googlegroups.com.
To unsubscribe from this group, send email to
sage-devel+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
