Skip to content

Commit 2fa1ab6

Browse files
add commentary explaining the DFT in this case
remove form from argument
1 parent 2c83a02 commit 2fa1ab6

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

src/sage/combinat/symmetric_group_algebra.py

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1945,11 +1945,14 @@ def _dft_modular(self):
19451945
"""
19461946
Return the discrete Foruier transform when the characteristic divides the order of the group.
19471947
See [Mur1983]_ for contrstruction of central primitive orthogonal idempotents.
1948+
For each idempotent e_i we have a projection v |--> v*e_i. This is a homomorphism.
1949+
We choose a basis for each submodule spanning by {\sigma*e_i | \sigma \in S_n}.
1950+
The change-of-basis from the standard basis {\sigma}_\sigma is returned.
19481951
19491952
EXAMPLES::
19501953
19511954
sage: GF2S3 = SymmetricGroupAlgebra(GF(2),3)
1952-
sage: GF2S3.dft(form="modular")
1955+
sage: GF2S3.dft()
19531956
[1 0 0 0 1 0]
19541957
[0 1 0 0 0 1]
19551958
[0 0 1 0 0 1]

0 commit comments

Comments
 (0)