id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
31804,Parent (set) of polyhedra with prescribed vertices or facets,Matthias Köppe,,"The parent `Polyhedra(QQ, 3)` is the set of polyhedra whose vertices/rays/lines are in `QQ^3` and whose facets/equalities are in `QQ^{3+1}`.
We define parents corresponding to more general, finite or infinite, allowed sets of vertices/rays/lines, facets/equalities.
The category `PolyhedralSets` currently makes every parent an additive monoid (Minkowski sums). This will need to be changed -- the parent will be an additive monoid only if the sets of vertices/rays/lines, facets/equalities are.
Related: #29819, #30198
",enhancement,new,major,sage-9.8,geometry,,,Jean-Philippe Labbé gh-kliem,,,,N/A,,,,,