Opened 22 months ago
Last modified 3 months ago
#30242 new enhancement
Make ExtPowerFreeModule a quotient of TensorFreeModule
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.7 |
Component: | linear algebra | Keywords: | |
Cc: | egourgoulhon, tscrim, gh-mjungmath | Merged in: | |
Authors: | Matthias Koeppe | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | u/mkoeppe/make_extpowerfreemodule_a_quotient_of_tensorfreemodule (Commits, GitHub, GitLab) | Commit: | 87341516d539c2f0cd164b2502b939cbd0608b24 |
Dependencies: | Stopgaps: |
Description
(split out from #30169)
We give ExtPowerFreeModule
the additional structure of a quotient module of TensorFreeModule
.
For degrees 0 and 1 (for which this class is not instantiated by FiniteRankFreeModule.exterior_power
), taking the quotient is trivial but we still set it up as a quotient for didactical/uniformity/formal reasons.
Change History (11)
comment:1 Changed 22 months ago by
- Branch set to u/mkoeppe/make_extpowerfreemodule_a_quotient_of_tensorfreemodule
comment:2 Changed 22 months ago by
- Commit set to 44d6c93e8b0885b7fda016ff90954f29e16367ad
comment:3 Changed 22 months ago by
- Commit changed from 44d6c93e8b0885b7fda016ff90954f29e16367ad to 8339de48eebfe4e5565b50ae1d194e18384b9a26
comment:4 Changed 22 months ago by
- Commit changed from 8339de48eebfe4e5565b50ae1d194e18384b9a26 to 87341516d539c2f0cd164b2502b939cbd0608b24
comment:5 Changed 22 months ago by
Shouldn't #30251 be a dependency of this ticket?
comment:6 Changed 22 months ago by
Yes, I will rebase this branch on top of it.
comment:7 Changed 22 months ago by
- Milestone changed from sage-9.2 to sage-9.3
comment:8 Changed 16 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:9 Changed 10 months ago by
- Milestone changed from sage-9.4 to sage-9.5
comment:10 Changed 5 months ago by
- Milestone changed from sage-9.5 to sage-9.6
comment:11 Changed 3 months ago by
- Milestone changed from sage-9.6 to sage-9.7
Note: See
TracTickets for help on using
tickets.
Branch pushed to git repo; I updated commit sha1. New commits:
ExtPowerFreeModule, ExtPowerDualFreeModule._repr_: Simplify by using the ordinal_str method
ExtPowerFreeModule, ExtPowerDualFreeModule.__init__: Remove duplicate registration of self in the base module, uniqueness check
ExtPowerDualFreeModule: Document the 0th power
ExtPowerFreeModule: Make a quotient of a tensor module even for degree < 2