Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Parent (set) of polyhedra with prescribed vertices or facets #31804

Open
mkoeppe opened this issue May 9, 2021 · 2 comments
Open

Parent (set) of polyhedra with prescribed vertices or facets #31804

mkoeppe opened this issue May 9, 2021 · 2 comments
Labels
c: geometry p: major / 3 t: enhancement

Comments

@mkoeppe
Copy link
Contributor

mkoeppe commented May 9, 2021

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

CC: @jplab @kliem

Component: geometry

Issue created by migration from https://trac.sagemath.org/ticket/31804
@mkoeppe mkoeppe added this to the sage-9.4 milestone May 9, 2021
@mkoeppe

This comment has been minimized.

Sign in to view
@mkoeppe

This comment has been minimized.

Sign in to view
@mkoeppe mkoeppe modified the milestones: sage-9.4, sage-9.5 Jul 19, 2021
@mkoeppe mkoeppe modified the milestones: sage-9.5, sage-9.6 Dec 14, 2021
@mkoeppe mkoeppe modified the milestones: sage-9.6, sage-9.7 Apr 2, 2022
@mkoeppe mkoeppe modified the milestones: sage-9.7, sage-9.8 Aug 31, 2022
@mkoeppe mkoeppe modified the milestones: sage-9.8, sage-9.9 Jan 7, 2023
@mkoeppe mkoeppe modified the milestones: sage-10.0, sage-10.1 Apr 30, 2023
@mkoeppe mkoeppe removed this from the sage-10.1 milestone Aug 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: geometry p: major / 3 t: enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mkoeppe