Opened 2 years ago
Last modified 5 months ago
#29812 new enhancement
FormalPolyhedraModule: support infinite bases
Reported by:  mkoeppe  Owned by:  

Priority:  major  Milestone:  sage9.7 
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: 
Description
... in particular the free modules
 generated by all polyhedra
 generated by all lowerdimensional polyhedra
 generated by all polyhedra with lines
Via #19448, all finitely generated formal polyhedra modules can be expressed as submodules.
Change History (10)
comment:1 Changed 2 years ago by
 Branch set to u/mkoeppe/formalpolyhedramodule_infinite_bases
comment:2 Changed 2 years ago by
 Commit set to f6500b1007aec48af296ef3e666b2d7edab23952
comment:3 Changed 2 years ago by
 Commit changed from f6500b1007aec48af296ef3e666b2d7edab23952 to 123f2ed185d7d7b30bd7679a6d3411c8edf89561
Branch pushed to git repo; I updated commit sha1. New commits:
123f2ed  sage.geometry.polyhedra.facade_parent: New

comment:4 Changed 2 years ago by
 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 2 years ago by
comment:6 Changed 2 years ago by
 Milestone changed from sage9.2 to sage9.3
comment:7 Changed 18 months ago by
 Milestone changed from sage9.3 to sage9.4
Setting new milestone based on a cursory review of ticket status, priority, and last modification date.
comment:8 Changed 13 months ago by
 Milestone changed from sage9.4 to sage9.5
comment:9 Changed 8 months ago by
 Milestone changed from sage9.5 to sage9.6
comment:10 Changed 5 months ago by
 Milestone changed from sage9.6 to sage9.7
Note: See
TracTickets for help on using
tickets.
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 infinitedimensional module?
Last 10 new commits:
FormalPolyhedraModule: Add test for an infinite basis
Improvements to submodules.
Merge branch 'public/categories/improve_submodules19448' of trac.sagemath.org:sage into public/categories/improve_submodules19448
Merge branch 'public/categories/improve_submodules19448' of git://trac.sagemath.org/sage into public/categories/improve_submodules19448
Removing cmp for key.
Merge branch 'public/categories/improve_submodules19448' of git://trac.sagemath.org/sage into public/categories/improve_submodules19448
Fixing failures and allowing echelon_form to handle oodim modules.
Fixing doctests and making _vector_ and from_vector methods more consistent.
Merge branch 'public/categories/improve_submodules19448' of git://trac.sagemath.org/sage into t/29812/formalpolyhedramodule_infinite_bases
FormalPolyhedraModule: Add first infinitedimensional examples