id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
15280 Extensions of PALP normal form, affine normal form and isomorphisms jkeitel "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.
In addition I've included affine_normal_form and find_isomorphism, which compute the affine normal form of a lattice polytope and isomorphisms between lattice polytopes, respectively." enhancement needs_work major sage-6.4 geometry toric vbraun novoselt Jan Keitel N/A u/jkeitel/normal_form_codimension 4e8dace1658e2565a2f391e1528083d0c277235c #13525