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 mkoeppe

  • Branch set to u/mkoeppe/make_extpowerfreemodule_a_quotient_of_tensorfreemodule

comment:2 Changed 6 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 6 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 6 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 6 months ago by egourgoulhon

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

comment:6 Changed 6 months ago by mkoeppe

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

comment:7 Changed 5 months ago by mkoeppe

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