#15280: Normal form for polytopes of non-zero codimension
-------------------------+-------------------------------------------------
Reporter: jkeitel | Owner:
Type: | Status: new
enhancement | Milestone: sage-6.0
Priority: major | Keywords: toric
Component: geometry | Authors: Jan Keitel
Merged in: | Report Upstream: N/A
Reviewers: | Branch:
Work issues: | u/jkeitel/normal_form_codimension
Commit: | Dependencies:
Stopgaps: |
-------------------------+-------------------------------------------------
Currently computing the normal form of a lattice polytope of non-zero
codimension throws an exception since PALP doesn't cover it. However, the
PALP algorithm can easily be extended to cover these cases, as suggested
for example in Section 3.2 of
http://magma.maths.usyd.edu.au/~kasprzyk/research/pdf/normal_form.pdf .
The idea is to simply restrict to the sublattice spanned by vertices of
the polytope, compute the normal form there and embed it back into the
original ambient space.
I've written a short patch doing precisely that and am attaching it. There
is of course the long patch #13525 which overhauls all of normal_form(),
but this point is not addressed there.
--
Ticket URL: <http://trac.sagemath.org/ticket/15280>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
