BTW the 1e-6 fuzzy zero is because that is used in cdd, the backend for RDF polyhedra.
You can't really distinguish positive from non-negative in the nonexact case, so I'm fine with just providing it "as is". On Tuesday, October 13, 2015 at 3:30:24 PM UTC+2, Jan Keitel wrote: > > Hi Vincent, > > you were missing the crucial minus in the code: Instead of checking that > x>1e-6, it is checking whether x>-1e-6. > > Am Dienstag, 13. Oktober 2015 15:07:04 UTC+2 schrieb vdelecroix: >> >> Hi, >> >> > I don't know what you're checking, but the code in base_RDF.py says >> >> The point >> >> (.5*v0 + .5*v1) - 1e-7*v2 >> >> is definitely not in the regular pentagon. But Sage answers that it is. >> >> If you start taking barycenters, this is the kind of things you can run >> into. >> >> >> On 13/10/15 08:30, Jan Keitel wrote: >> >>> that's actually not true, have you checked it? >> >>> The code >> >> What was actually not true in my initial statement? >> >> Vincent >> > -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
