Opened 6 months ago
Last modified 5 months ago
#30242 new enhancement
Make ExtPowerFreeModule a quotient of TensorFreeModule
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.3 |
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) | 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 (7)
comment:1 Changed 6 months ago by
- Branch set to u/mkoeppe/make_extpowerfreemodule_a_quotient_of_tensorfreemodule
comment:2 Changed 6 months ago by
- Commit set to 44d6c93e8b0885b7fda016ff90954f29e16367ad
comment:3 Changed 6 months ago by
- Commit changed from 44d6c93e8b0885b7fda016ff90954f29e16367ad to 8339de48eebfe4e5565b50ae1d194e18384b9a26
comment:4 Changed 6 months ago by
- Commit changed from 8339de48eebfe4e5565b50ae1d194e18384b9a26 to 87341516d539c2f0cd164b2502b939cbd0608b24
comment:5 Changed 6 months ago by
Shouldn't #30251 be a dependency of this ticket?
comment:6 Changed 6 months ago by
Yes, I will rebase this branch on top of it.
comment:7 Changed 5 months ago by
- Milestone changed from sage-9.2 to sage-9.3
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