Changes between Initial Version and Version 16 of Ticket #29801


Ignore:
Timestamp:
06/06/20 00:24:07 (17 months ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29801

    • Property Status changed from new to needs_review
    • Property Commit changed from to 7ae0c7e5a77cdcb19598db5697bd313e6f84bbb7
    • Property Branch changed from to u/mkoeppe/formalpolyhedramodule____so_far_finitely_generated__free_modules
    • Property Authors changed from to Matthias Koeppe
  • Ticket #29801 – Description

    initial v16  
     1Add a class `FormalPolyhedraModule` for formal modules generated by polyhedra, graded by dimension, and a category `PolyhedraModules`.
     2
     3So far everything is finitely generated. This will be changed in follow-up tickets.