Changes between Initial Version and Version 14 of Ticket #15280


Ignore:
Timestamp:
10/30/13 14:01:32 (9 years ago)
Author:
jkeitel
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #15280

    • Property Status changed from new to needs_work
    • Property Commit changed from to 0828630f23bb7a8f285264f4e5a91f89e3ab6a17
    • Property Dependencies changed from to #13525
    • Property Summary changed from Normal form for polytopes of non-zero codimension to Extensions of PALP normal form, affine normal form and isomorphisms

  • Ticket #15280 – Description

    initial v14  
    22The 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.
    33
    4 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.
     4In 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.