Changes between Version 1 and Version 2 of Ticket #31804
 Timestamp:
 May 25, 2021, 11:38:35 PM (17 months ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #31804 – Description
v1 v2 1 The parent `Polyhedra(QQ, 3)` is the set of polyhedra whose vertices/rays/lines are in QQ^3and whose facets/equalities are in `QQ^{3+1}`.1 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}`. 2 2 3 3 We define parents corresponding to more general, finite or infinite, allowed sets of vertices/rays/lines, facets/equalities.