Changes between Version 1 and Version 2 of Ticket #31804


Ignore:
Timestamp:
May 25, 2021, 11:38:35 PM (17 months ago)
Author:
Matthias Köppe
Comment:

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^3 and whose facets/equalities are in `QQ^{3+1}`.
     1The 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}`.
    22
    33We define parents corresponding to more general, finite or infinite, allowed sets of vertices/rays/lines, facets/equalities.