Skip to content

Commit

Permalink
add commentary explaining the DFT in this case
Browse files Browse the repository at this point in the history
remove form from argument
  • Loading branch information
jacksonwalters committed Apr 6, 2024
1 parent 2c83a02 commit 2fa1ab6
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion src/sage/combinat/symmetric_group_algebra.py
Original file line number Diff line number Diff line change
Expand Up @@ -1945,11 +1945,14 @@ def _dft_modular(self):
"""
Return the discrete Foruier transform when the characteristic divides the order of the group.
See [Mur1983]_ for contrstruction of central primitive orthogonal idempotents.
For each idempotent e_i we have a projection v |--> v*e_i. This is a homomorphism.
We choose a basis for each submodule spanning by {\sigma*e_i | \sigma \in S_n}.
The change-of-basis from the standard basis {\sigma}_\sigma is returned.
EXAMPLES::
sage: GF2S3 = SymmetricGroupAlgebra(GF(2),3)
sage: GF2S3.dft(form="modular")
sage: GF2S3.dft()
[1 0 0 0 1 0]
[0 1 0 0 0 1]
[0 0 1 0 0 1]
Expand Down

0 comments on commit 2fa1ab6

Please sign in to comment.