id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,work_issues,upstream,reviewer,author,merged,dependencies,stopgaps
9839,Add dual cone computation,novoselt,mhampton,"This patch allows computing dual cones, including non-strictly convex and non-full-dimensional cases. 

The actual work is done in `facet_normals` which now works for non-strictly convex cones as well. The method `base_extend` for quotient lattices was added during one of the implementation attempts and I left it for future use as well (the hope was to create cones in quotient lattices, but it does not work yet).

There is still a dimension 6 limitation stemming from PALP for computing duals and facet normals. This is still our best option for low dimension, but perhaps it would be nice if `facet_normals` caught the exception when PALP does not work and used polyhedra module in this case. Then computing the dual cone and face lattices should work automatically.

See #9604 for dependencies.",enhancement,closed,major,sage-4.6,geometry,fixed,,vbraun,,N/A,Volker Braun,Andrey Novoseltsev,sage-4.6.alpha1,,