#32145 closed enhancement (fixed)

Finite dimensional twisted invariant module

Reported by: tkarn Owned by:
Priority: major Milestone: sage-9.4
Component: algebra Keywords: gsoc2021 invariant twisted isotypic representation
Cc: tscrim, tkarn Merged in:
Authors: Trevor K. Karn Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: aca3187 (Commits, GitHub, GitLab) Commit: aca3187e943fdd057da737385c6758af1a95c7f7
Dependencies: #31939 #32190 Stopgaps:

Status badges

Description

The twisted (or skew) invariant module is the isotypic component of a (finite-dimensional) reprensentation corresponding to an irreducible representation of a finite group. This ticket aims to implement the twisted invariant in sage.modules.with_basis.invariant

Change History (11)

comment:1 Changed 13 months ago by tkarn

This is splitting the original ticket #31939 into two parts, one for the usual invariant (#31939 itself) and this one for the twisted invariant.

comment:2 Changed 13 months ago by tkarn

  • Dependencies changed from #31939 to #31939 #32190

comment:3 Changed 13 months ago by tkarn

  • Branch set to u/tkarn/twisted_invariant-32145
  • Commit set to dbde994dbf079ad43e843192601d7a3d7b0d0e01

Last 10 new commits:

fb66962Add check for valid characters for finite semigroups
a3079a4Add basis computation and initial commit of Element class
55c7e6aInitial commit of rewritten twisted invariant
5b8e732Fix whitespace
01d1cf2Fix more whitespace issues
4541a9fAdd __hash__ to ClassFunction_gap
0600e1dFirst functional twisted invariant
f9f2061Remove extraneous comments
384464bAdd examples
dbde994Fix tests

comment:4 Changed 13 months ago by git

  • Commit changed from dbde994dbf079ad43e843192601d7a3d7b0d0e01 to d71cf293eed61c5af1ba7f7f43f3bcdbe2720b88

Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:

11e33d3Add basis computation and initial commit of Element class
a338087Initial commit of rewritten twisted invariant
99a2597Fix whitespace
06f98d5Fix more whitespace issues
2ddfb3bAdd __hash__ to ClassFunction_gap
4817bdfFirst functional twisted invariant
57f0030Remove extraneous comments
e2c7069Add examples
a02b134Fix tests
d71cf29Refactor to remove dict option for chi and fix to make initial tests pass

comment:5 Changed 13 months ago by git

  • Commit changed from d71cf293eed61c5af1ba7f7f43f3bcdbe2720b88 to ae6c9371c485720043356ef8ca211d7504a60f0d

Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:

6d0a7fdFix whitespace
e248849Fix more whitespace issues
10d66f2Add __hash__ to ClassFunction_gap
7185f88First functional twisted invariant
f743638Remove extraneous comments
338688fAdd examples
2565968Fix tests
2fc7373Refactor to remove dict option for chi and fix to make initial tests pass
dbaf96dAdd examples
ae6c937Fix broken example, fix bug in .annihilator_basis call, add alias TwistedInvariantModule, remove lambda's

comment:6 Changed 13 months ago by git

  • Commit changed from ae6c9371c485720043356ef8ca211d7504a60f0d to 0115c9c3ea39c83740a832991a1341c3ce15915b

Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:

9c25b45Fix broken example, fix bug in .annihilator_basis call, add alias TwistedInvariantModule, remove lambda's
b79c3adClean up tests
31a7b52Add __main__.action to test
71573e1Fix PEP8 issues
20d764fFix issues with parents and change to morphism
0965ffaAdd twisted_invariant_module method to FiniteDimensionalModulesWithBasis.Parent
1e85084Move import of Represntation because it is used so much
0a34cbaAdd tests/documentation
d3c17dfAdd twisted_invariant_module method to Representation_abstract
0115c9cAdd some tests using coinvariant

comment:7 Changed 13 months ago by git

  • Commit changed from 0115c9c3ea39c83740a832991a1341c3ce15915b to b8c24bc73139be102b9ca9435e4c410d0ba09e76

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

2297f01Coinvariant algebra test
b8c24bcRemove ReflectionGroup example

comment:8 Changed 13 months ago by tkarn

  • Status changed from new to needs_review

comment:9 Changed 13 months ago by tscrim

  • Branch changed from u/tkarn/twisted_invariant-32145 to u/tscrim/twisted_invariant-32145
  • Commit changed from b8c24bc73139be102b9ca9435e4c410d0ba09e76 to aca3187e943fdd057da737385c6758af1a95c7f7
  • Reviewers set to Travis Scrimshaw

Here is with my reviewer changes. Note that I rebased this on the two dependencies and squashed the commits. So do not simply merge it and instead pull the branch fresh. If my changes are good, then positive review.


Last 10 new commits:

42d5e34Fix _mul_ to assume that both are in same parent
c038ef5Edit exposition in symmetric function example
a75293aAdd exposition in examples
553dc56Reviewer changes for invariant modules.
2a64c19Update input documentation
0799238Merge branch 'public/algebras/invariant_modules-31939' of git://trac.sagemath.org/sage into u/tscrim/twisted_invariant-32145
cdd59abRemove .values()
38e1702Merge branch 'u/tkarn/class_function_hash-32190' of git://trac.sagemath.org/sage into u/tscrim/twisted_invariant-32145
c507bc0Implement the twisted invariant module.
aca3187Reviewer changes for twisted invariant modules.

comment:10 Changed 13 months ago by tkarn

  • Status changed from needs_review to positive_review

LGTM.

comment:11 Changed 13 months ago by vbraun

  • Branch changed from u/tscrim/twisted_invariant-32145 to aca3187e943fdd057da737385c6758af1a95c7f7
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.