Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
final doc changes
Browse files Browse the repository at this point in the history
  • Loading branch information
darijgr committed Mar 4, 2014
1 parent 0ee8502 commit d4a9857
Showing 1 changed file with 13 additions and 11 deletions.
24 changes: 13 additions & 11 deletions src/sage/combinat/symmetric_group_algebra.py
Expand Up @@ -993,8 +993,8 @@ def seminormal_basis(self, mult='l2r'):
where `f^{\lambda}` is the number of standard Young tableaux
of shape `\lambda`. Note that `\kappa_{\lambda}` is an integer,
namely the product of all hook lengths of `\lambda` by the
hook length formula. In Sage, this integer can be computed by
namely the product of all hook lengths of `\lambda` (by the
hook length formula). In Sage, this integer can be computed by
using :func:`sage.combinat.symmetric_group_algebra.kappa()`.
Let `T` be a standard tableau.
Expand Down Expand Up @@ -1036,9 +1036,9 @@ def seminormal_basis(self, mult='l2r'):
e(T) \epsilon(\overline{T}).
This element `\epsilon(T)` is implemented as
:func:`sage.combinat.symmetric_group_algebra.epsilon` for `R = \QQ`,
but it is also a particular case of the elements `\epsilon(T, S)`
defined below.
:func:`sage.combinat.symmetric_group_algebra.epsilon` for
`R = \QQ`, but it is also a particular case of the elements
`\epsilon(T, S)` defined below.
Now let `S` be a further tableau of the same shape as `T`
(possibly equal to `T`). Let `\pi_{T, S}` denote the
Expand Down Expand Up @@ -1068,19 +1068,21 @@ def seminormal_basis(self, mult='l2r'):
.. MATH::
\epsilon(T, S) \epsilon(U, V) = \delta_{TV} \epsilon(U, S).
\epsilon(T, S) \epsilon(U, V) = \delta_{T, V} \epsilon(U, S)
(where `\delta` stands for the Kronecker delta).
.. WARNING::
Because of our convention, we are multiplying our elements in
reverse of those given in some papers, for example [Ram1997]_.
Using the other convention of multiplying permutations, we would
instead have
`\epsilon(U, V) \epsilon(T, S) = \delta_{TV} \epsilon(U, S).`
`\epsilon(U, V) \epsilon(T, S) = \delta_{T, V} \epsilon(U, S).`
In other words, it consists of the matrix units in a
(particular) Artin-Wedderburn decomposition of `R S_n` into
a direct product of matrix algebras over `\QQ`.
In other words, Young's seminormal basis consists of the matrix
units in a (particular) Artin-Wedderburn decomposition of `R S_n`
into a direct product of matrix algebras over `\QQ`.
The output of ``seminormal_basis`` is a list of all
elements of the seminormal basis of ``self``.
Expand All @@ -1107,7 +1109,7 @@ def seminormal_basis(self, mult='l2r'):
.. [Ram1997] Arun Ram. *Seminormal representations of Weyl groups
and Iwahori-Hecke algebras*. Proc. London Math. Soc. (3)
**75** (1997). 99-133. :arxiv:`math/9511223`.
**75** (1997). 99-133. :arxiv:`math/9511223v1`.
http://www.ms.unimelb.edu.au/~ram/Publications/1997PLMSv75p99.pdf
"""
basis = []
Expand Down

0 comments on commit d4a9857

Please sign in to comment.