I definitely vote YES. I often have problems and have to create work-arounds due to Sage poor performance on (a lot of) *very simple* polyhedra, since both current options (cddlib and PALP) are used as standalone programs and therefore add a system call overhead. I actually expect speed ups up to 100x (and maybe even over!) in this case. Also, I have considered switching to library calls for PALP, but its documentation is insufficient and I was not able to dig trough the source code. Plus it has hard-coded limitations on everything. As with cddlib, I want to keep PALP in Sage for computing lattice points inside polytopes as well as nef partitions, but using PPL as a library for computing convex hulls and facets will make life much better.
Thank you, Andrey -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
