Opened 23 months ago
Last modified 2 months ago
#30095 new enhancement
sage.tensor.modules: Add SymPowerFreeModule
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.7 |
Component: | linear algebra | Keywords: | |
Cc: | egourgoulhon, dimpase, yzh, tscrim, gh-mjungmath | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #30229 | Stopgaps: |
Description (last modified by )
FiniteRankFreeModule
defines a method exterior_power
, creating an instance of ExtPowerFreeModule
.
We propose to add a method symmetric_power
and class SymPowerFreeModule
. (More generally, we could have submodules of tensors with prescribed symmetries; this is currently only available on the level of elements, not parents.)
They will be submodules of TensorFreeModule
s. (#30169 makes ExtPowerFreeModule
s quotients.)
The existing method FiniteRankFreeModule.sym_bilinear_form
might be changed to produce elements of it for p=2.
Change History (13)
comment:1 Changed 23 months ago by
- Cc tscrim added
comment:2 Changed 23 months ago by
- Description modified (diff)
comment:3 Changed 22 months ago by
- Cc gh-mjungmath added
comment:4 Changed 22 months ago by
- Description modified (diff)
comment:5 Changed 22 months ago by
- Description modified (diff)
comment:6 Changed 22 months ago by
- Dependencies set to #30229
comment:7 Changed 22 months ago by
comment:8 Changed 22 months ago by
Thanks. Yes, we'll have to be careful
comment:9 Changed 21 months ago by
- Milestone changed from sage-9.2 to sage-9.3
comment:10 Changed 15 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:11 Changed 10 months ago by
- Milestone changed from sage-9.4 to sage-9.5
comment:12 Changed 5 months ago by
- Milestone changed from sage-9.5 to sage-9.6
comment:13 Changed 2 months ago by
- Milestone changed from sage-9.6 to sage-9.7
I think one has to be very careful here, especially with the last proposal. If the base field has not characteristic zero, as described also on Wikipedia, a symmetric bilinear form cannot be identified with an element of the symmetric algebra.
Addendum: I just noticed, we are not even in the manifold setting.