Opened 18 months ago

Last modified 5 months ago

#29812 new enhancement

FormalPolyhedraModule: support infinite bases

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.5
Component: geometry Keywords:
Cc: tscrim Merged in:
Authors: Matthias Koeppe Reviewers:
Report Upstream: N/A Work issues:
Branch: u/mkoeppe/formalpolyhedramodule_infinite_bases (Commits, GitHub, GitLab) Commit: f6500b1007aec48af296ef3e666b2d7edab23952
Dependencies: #29801, #19448 Stopgaps:

Status badges

Description

... in particular the free modules

  • generated by all polyhedra
  • generated by all lower-dimensional polyhedra
  • generated by all polyhedra with lines

Via #19448, all finitely generated formal polyhedra modules can be expressed as submodules.

Change History (8)

comment:1 Changed 18 months ago by mkoeppe

  • Branch set to u/mkoeppe/formalpolyhedramodule_infinite_bases

comment:2 Changed 18 months ago by mkoeppe

  • Commit set to f6500b1007aec48af296ef3e666b2d7edab23952

Wondering if I should expect that modules generated by subfamilies of some basis coerce into the module generated by the basis.

Or perhaps I should be constructing every module explicitly as a submodule of the ambient infinite-dimensional module?


Last 10 new commits:

fa0dd63FormalPolyhedraModule: Add test for an infinite basis
98dc756Improvements to submodules.
8006b8eMerge branch 'public/categories/improve_submodules-19448' of trac.sagemath.org:sage into public/categories/improve_submodules-19448
147583bMerge branch 'public/categories/improve_submodules-19448' of git://trac.sagemath.org/sage into public/categories/improve_submodules-19448
d4838dfRemoving cmp for key.
09f8caaMerge branch 'public/categories/improve_submodules-19448' of git://trac.sagemath.org/sage into public/categories/improve_submodules-19448
1267467Fixing failures and allowing echelon_form to handle oo-dim modules.
d8a1c50Fixing doctests and making _vector_ and from_vector methods more consistent.
cfc62e0Merge branch 'public/categories/improve_submodules-19448' of git://trac.sagemath.org/sage into t/29812/formalpolyhedramodule_infinite_bases
f6500b1FormalPolyhedraModule: Add first infinite-dimensional examples

comment:3 Changed 18 months ago by git

  • Commit changed from f6500b1007aec48af296ef3e666b2d7edab23952 to 123f2ed185d7d7b30bd7679a6d3411c8edf89561

Branch pushed to git repo; I updated commit sha1. New commits:

123f2edsage.geometry.polyhedra.facade_parent: New

comment:4 Changed 18 months ago by git

  • Commit changed from 123f2ed185d7d7b30bd7679a6d3411c8edf89561 to f6500b1007aec48af296ef3e666b2d7edab23952

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

comment:5 Changed 18 months ago by mkoeppe

  • Authors set to Matthias Koeppe

comment:6 Changed 16 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:7 Changed 10 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

comment:8 Changed 5 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.