Opened 15 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.5
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:

Status badges

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 (9)

comment:1 Changed 15 months ago by mkoeppe

  • Branch set to u/mkoeppe/make_extpowerfreemodule_a_quotient_of_tensorfreemodule

comment:2 Changed 15 months ago by git

  • Commit set to 44d6c93e8b0885b7fda016ff90954f29e16367ad

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

0869a10ExtPowerFreeModule, ExtPowerDualFreeModule._repr_: Simplify by using the ordinal_str method
344a793ExtPowerFreeModule, ExtPowerDualFreeModule.__init__: Remove duplicate registration of self in the base module, uniqueness check
12e7da1ExtPowerDualFreeModule: Document the 0th power
44d6c93ExtPowerFreeModule: Make a quotient of a tensor module even for degree < 2

comment:3 Changed 15 months ago by git

  • Commit changed from 44d6c93e8b0885b7fda016ff90954f29e16367ad to 8339de48eebfe4e5565b50ae1d194e18384b9a26

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

a59eb9cTensorFreeModule: Compute the correct category for type (0, 0)
8339de4TensorFreeModule.__init__: Remove duplicate registration of self in the base module, uniqueness check

comment:4 Changed 15 months ago by git

  • Commit changed from 8339de48eebfe4e5565b50ae1d194e18384b9a26 to 87341516d539c2f0cd164b2502b939cbd0608b24

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

14171b9FreeModuleBasis.__init__: Update all modules in the set fmodule._all_modules
8734151FiniteRankFreeModule: Move all module identifications to methods exterior_power, dual_exterior_power, tensor_module

comment:5 Changed 15 months ago by egourgoulhon

Shouldn't #30251 be a dependency of this ticket?

comment:6 Changed 15 months ago by mkoeppe

Yes, I will rebase this branch on top of it.

comment:7 Changed 14 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:8 Changed 8 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:9 Changed 3 months ago by mkoeppe

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