Opened 15 months ago
Last modified 4 months ago
#31804 new enhancement
Parent (set) of polyhedra with prescribed vertices or facets
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.7 |
Component: | geometry | Keywords: | |
Cc: | jipilab, gh-kliem | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
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.
Change History (5)
comment:1 Changed 15 months ago by
- Description modified (diff)
comment:2 Changed 15 months ago by
- Description modified (diff)
comment:3 Changed 13 months ago by
- Milestone changed from sage-9.4 to sage-9.5
comment:4 Changed 8 months ago by
- Milestone changed from sage-9.5 to sage-9.6
comment:5 Changed 4 months ago by
- Milestone changed from sage-9.6 to sage-9.7
Note: See
TracTickets for help on using
tickets.