Opened 5 months ago

Last modified 3 months ago

#31804 new enhancement

Parent (set) of polyhedra with prescribed vertices or facets

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.5
Component: geometry Keywords:
Cc: jipilab, gh-kliem Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by mkoeppe)

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

Change History (3)

comment:1 Changed 5 months ago by mkoeppe

  • Description modified (diff)

comment:2 Changed 5 months ago by mkoeppe

  • Description modified (diff)

comment:3 Changed 3 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.