Re: [sage-support] Re: Is this a bug in Polyhedron class (RDF vs AA)?
Hi, Thank you for your quick answer! Ok, that makes sense. I have a follow-up question. I will put it on sage-devel as it is related to the implementation of a ticket. Best, JP Le lundi 12 octobre 2015 22:21:12 UTC+2, vdelecroix a écrit : > > On 12/10/15 12:57, Nathann Cohen wrote: > >> Is the following behavior normal: > > > > Well... In the first case you work on an exact ring, and in the second > case > > you compare the output of >= and > on an inexact ring. > > > > I do not know if there is something wrong somewhere, but I do not expect > > float computations to be exact either, so I do not know... > > Yeap. This is exactly it. You have vertices over an inexact ring and > equations over an inexact ring. You should not expect anything beyond > the precision of the ring. Including subtle difference between < and <=. > > sage: 0.9 == 0.3 + 0.3 + 0.3 > False > sage: 0.9 > 0.3 + 0.3 + 0.3 > True > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
[sage-support] Re: Is this a bug in Polyhedron class (RDF vs AA)?
Hellooo, Is the following behavior normal: > Well... In the first case you work on an exact ring, and in the second case you compare the output of >= and > on an inexact ring. I do not know if there is something wrong somewhere, but I do not expect float computations to be exact either, so I do not know... Nathann -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
Re: [sage-support] Re: Is this a bug in Polyhedron class (RDF vs AA)?
On 12/10/15 12:57, Nathann Cohen wrote: Is the following behavior normal: Well... In the first case you work on an exact ring, and in the second case you compare the output of >= and > on an inexact ring. I do not know if there is something wrong somewhere, but I do not expect float computations to be exact either, so I do not know... Yeap. This is exactly it. You have vertices over an inexact ring and equations over an inexact ring. You should not expect anything beyond the precision of the ring. Including subtle difference between < and <=. sage: 0.9 == 0.3 + 0.3 + 0.3 False sage: 0.9 > 0.3 + 0.3 + 0.3 True -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.