On Friday, February 24, 2017 at 7:48:45 PM UTC, jsommars wrote: > > There seems to be a bug in the Parma Polyhedra Library wrapper. > Unfortunately, this is the simplest example I can come up with. > > A=Cone([[0,0,0,1,0],[0,0,1,0,0],[0,1,0,0,0],[1,1,1,1,1],[-1,-1,-1,-1,-1]]) > > B=Cone([[-1,0,-1,0,0],[-1,0,0,-1,0],[1,0,1,1,0],[1,1,1,1,1],[-1,-1,-1,-1,-1]]) > Cone1 = A.intersection(B) > > > C=Cone([[-1,-1,-1,-1,0],[0,0,1,0,0],[0,0,0,1,0],[1,1,1,1,1],[-1,-1,-1,-1,-1]]) > > D=Cone([[-1,0,-1,0,0],[-1,0,0,-1,0],[1,0,1,1,0],[1,1,1,1,1],[-1,-1,-1,-1,-1]]) > Cone2 = C.intersection(D) > > Cone1 == Cone2 is false. However, if you inspect the rays, you can see > that they are the same, so the cones ought to be equal. >
well, it merely means that these two Python objects are different --- although they might well be equal mathematically speaking. With cones the equality test is trivial, but imagine one tests two infinite groups for equality, or two floating point numbers... Do you think Sage should overload '==' in this case? (it would also be natural to overload <= and >= for containment test, come to think of it) Dima > > Best, > Jeff > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
