Hi everyone, Out of the discussion I could conclude the following:
-it would be a good idea to warn the user if some results may be wrong due to the used ring. Perhaps this deserves a ticket on its own. -use is_positive for non exact ring and I suggest: -Perhaps containment should be done combinatorially in the case of an inexact ring (looking at the incidence matrix) and using the canonical ordering of vertices and facets? Would that make sense? I'm also fine with providing RDF polyhedra as they are, but for some methods I realized that it makes a difference in the way to implement them, which is good to know. In the case of barycentric subdivision it makes a huge difference in the computation time, the algorithmic method, and the truth of the results... JP -- 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.
