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
- Branch set to u/mkoeppe/formalpolyhedramodule_infinite_bases
comment:2 Changed 18 months ago by
- Commit set to f6500b1007aec48af296ef3e666b2d7edab23952
comment:3 Changed 18 months 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 18 months 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 18 months ago by
comment:6 Changed 16 months ago by
- Milestone changed from sage-9.2 to sage-9.3
comment:7 Changed 10 months ago by
- 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
- Milestone changed from sage-9.4 to sage-9.5
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 infinite-dimensional module?
Last 10 new commits:
FormalPolyhedraModule: Add test for an infinite basisImprovements to submodules.Merge branch 'public/categories/improve_submodules-19448' of trac.sagemath.org:sage into public/categories/improve_submodules-19448Merge branch 'public/categories/improve_submodules-19448' of git://trac.sagemath.org/sage into public/categories/improve_submodules-19448Removing cmp for key.Merge branch 'public/categories/improve_submodules-19448' of git://trac.sagemath.org/sage into public/categories/improve_submodules-19448Fixing failures and allowing echelon_form to handle oo-dim modules.Fixing doctests and making _vector_ and from_vector methods more consistent.Merge branch 'public/categories/improve_submodules-19448' of git://trac.sagemath.org/sage into t/29812/formalpolyhedramodule_infinite_basesFormalPolyhedraModule: Add first infinite-dimensional examples