#19892: Face semigroup of hyperplane arrangement
-------------------------------------+-------------------------------------
Reporter: darij | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-7.1
Component: geometry | Resolution:
Keywords: hyperplane | Merged in:
arrangements, semigroups, | Reviewers: Miguel Marco
polyhedra | Work issues:
Authors: Darij Grinberg | Commit:
Report Upstream: N/A | 2ba781d9bec2db5d4e088a528729d3dbfaa11952
Branch: | Stopgaps:
public/ticket/19892 |
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by mmarco):
* status: needs_review => needs_work
* reviewer: => Miguel Marco
Comment:
Nevermind, I understood the logic behind it now.
The code looks correct to me. But I have a couple
suggestions/comments/questions:
- The way to construct the closed faces seems a bit overcomplicated. My
impression is that a recursive approach (take the delition of the last
hyperplane, compute the closed faces, and then intersect them with the
three sides of the deleted hyperplane) would probably be simpler (but
maybe slower). Did you consider it?
- I think that the semigroup algebra should provide an option to provide
the names of the generators.
--
Ticket URL: <http://trac.sagemath.org/ticket/19892#comment:9>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
