schur-weyl 0.1.0__tar.gz

schur_weyl-0.1.0/.github/workflows/python-publish.yml

@@ -0,0 +1,70 @@
+# This workflow will upload a Python Package to PyPI when a release is created
+# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-python#publishing-to-package-registries
+
+# This workflow uses actions that are not certified by GitHub.
+# They are provided by a third-party and are governed by
+# separate terms of service, privacy policy, and support
+# documentation.
+
+name: Upload Python Package
+
+on:
+  release:
+    types: [published]
+
+permissions:
+  contents: read
+
+jobs:
+  release-build:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.x"
+
+      - name: Build release distributions
+        run: |
+          # NOTE: put your own distribution build steps here.
+          python -m pip install build
+          python -m build
+
+      - name: Upload distributions
+        uses: actions/upload-artifact@v4
+        with:
+          name: release-dists
+          path: dist/
+
+  pypi-publish:
+    runs-on: ubuntu-latest
+    needs:
+      - release-build
+    permissions:
+      # IMPORTANT: this permission is mandatory for trusted publishing
+      id-token: write
+
+    # Dedicated environments with protections for publishing are strongly recommended.
+    # For more information, see: https://docs.github.com/en/actions/deployment/targeting-different-environments/using-environments-for-deployment#deployment-protection-rules
+    environment:
+      name: pypi
+      # OPTIONAL: uncomment and update to include your PyPI project URL in the deployment status:
+      # url: https://pypi.org/p/YOURPROJECT
+      #
+      # ALTERNATIVE: if your GitHub Release name is the PyPI project version string
+      # ALTERNATIVE: exactly, uncomment the following line instead:
+      # url: https://pypi.org/project/YOURPROJECT/${{ github.event.release.name }}
+
+    steps:
+      - name: Retrieve release distributions
+        uses: actions/download-artifact@v4
+        with:
+          name: release-dists
+          path: dist/
+
+      - name: Publish release distributions to PyPI
+        uses: pypa/gh-action-pypi-publish@release/v1
+        with:
+          packages-dir: dist/

schur_weyl-0.1.0/.gitignore

@@ -0,0 +1,220 @@
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[codz]
+*$py.class
+
+# C extensions
+*.so
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+#   Usually these files are written by a python script from a template
+#   before PyInstaller builds the exe, so as to inject date/other infos into it.
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py.cover
+.hypothesis/
+.pytest_cache/
+cover/
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+local_settings.py
+db.sqlite3
+db.sqlite3-journal
+
+# Flask stuff:
+instance/
+.webassets-cache
+
+# Scrapy stuff:
+.scrapy
+
+# Sphinx documentation
+docs/_build/
+
+# PyBuilder
+.pybuilder/
+target/
+
+# Jupyter Notebook
+.ipynb_checkpoints
+
+# IPython
+profile_default/
+ipython_config.py
+
+# pyenv
+#   For a library or package, you might want to ignore these files since the code is
+#   intended to run in multiple environments; otherwise, check them in:
+# .python-version
+
+# pipenv
+#   According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
+#   However, in case of collaboration, if having platform-specific dependencies or dependencies
+#   having no cross-platform support, pipenv may install dependencies that don't work, or not
+#   install all needed dependencies.
+# Pipfile.lock
+
+# UV
+#   Similar to Pipfile.lock, it is generally recommended to include uv.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+# uv.lock
+
+# poetry
+#   Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+#   https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
+# poetry.lock
+# poetry.toml
+
+# pdm
+#   Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
+#   pdm recommends including project-wide configuration in pdm.toml, but excluding .pdm-python.
+#   https://pdm-project.org/en/latest/usage/project/#working-with-version-control
+# pdm.lock
+# pdm.toml
+.pdm-python
+.pdm-build/
+
+# pixi
+#   Similar to Pipfile.lock, it is generally recommended to include pixi.lock in version control.
+# pixi.lock
+#   Pixi creates a virtual environment in the .pixi directory, just like venv module creates one
+#   in the .venv directory. It is recommended not to include this directory in version control.
+.pixi
+
+# PEP 582; used by e.g. github.com/David-OConnor/pyflow and github.com/pdm-project/pdm
+__pypackages__/
+
+# Celery stuff
+celerybeat-schedule
+celerybeat.pid
+
+# Redis
+*.rdb
+*.aof
+*.pid
+
+# RabbitMQ
+mnesia/
+rabbitmq/
+rabbitmq-data/
+
+# ActiveMQ
+activemq-data/
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.envrc
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs documentation
+/site
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+
+# Pyre type checker
+.pyre/
+
+# pytype static type analyzer
+.pytype/
+
+# Cython debug symbols
+cython_debug/
+
+# PyCharm
+#   JetBrains specific template is maintained in a separate JetBrains.gitignore that can
+#   be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
+#   and can be added to the global gitignore or merged into this file.  For a more nuclear
+#   option (not recommended) you can uncomment the following to ignore the entire idea folder.
+# .idea/
+
+# Abstra
+#   Abstra is an AI-powered process automation framework.
+#   Ignore directories containing user credentials, local state, and settings.
+#   Learn more at https://abstra.io/docs
+.abstra/
+
+# Visual Studio Code
+#   Visual Studio Code specific template is maintained in a separate VisualStudioCode.gitignore 
+#   that can be found at https://github.com/github/gitignore/blob/main/Global/VisualStudioCode.gitignore
+#   and can be added to the global gitignore or merged into this file. However, if you prefer, 
+#   you could uncomment the following to ignore the entire vscode folder
+# .vscode/
+# Temporary file for partial code execution
+tempCodeRunnerFile.py
+
+# Ruff stuff:
+.ruff_cache/
+
+# PyPI configuration file
+.pypirc
+
+# Marimo
+marimo/_static/
+marimo/_lsp/
+__marimo__/
+
+# Streamlit
+.streamlit/secrets.toml
+
+.selfDoc/

schur_weyl-0.1.0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Anton Van Cleemput
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

schur_weyl-0.1.0/PKG-INFO

@@ -0,0 +1,95 @@
+Metadata-Version: 2.5
+Name: schur-weyl
+Version: 0.1.0
+Summary: Tools from Schur-Weyl duality
+Project-URL: Homepage, https://github.com/AVlyx/schur-weyl
+Author-email: Anton Van Cleemput <anton@vancleem.com>
+License-Expression: MIT
+License-File: LICENSE
+Requires-Python: >=3.9
+Requires-Dist: numpy>=1.24
+Provides-Extra: dev
+Requires-Dist: pytest; extra == 'dev'
+Requires-Dist: ruff; extra == 'dev'
+Description-Content-Type: text/markdown
+
+# schur-weyl
+
+Tools from Schur–Weyl duality, built from scratch on top of `numpy` and the Python standard library — no representation-theory or combinatorics dependencies.
+
+Schur–Weyl duality decomposes $(\mathbb{C}^d)^{\otimes n}$ under the commuting actions of $S_n$ (permuting tensor factors) and $GL_d$ (acting diagonally) into isotypic blocks indexed by partitions $\lambda \vdash n$ with $\ell(\lambda) \le d$:
+
+$$(\mathbb{C}^d)^{\otimes n} \cong \bigoplus_{\lambda} S^\lambda \otimes V_\lambda^d$$
+
+This package implements the combinatorics and linear algebra needed to work with that decomposition directly: partitions and Young tableaux, dimension formulas, symmetric-group characters via Murnaghan–Nakayama, Schur polynomials, isotypic projectors on tensor space, the Schur–Weyl measure, and Young's orthogonal form for the irreducible representations of $S_n$.
+
+Every module is checked against an exact mathematical identity in the test suite (Burnside's identity, character orthogonality, projector idempotence, unitarity of Young's orthogonal form, the Jucys–Murphy diagonalization, ...) rather than against hand-computed examples alone. See [`.selfDoc/schur_weyl_roadmap.md`](.selfDoc/schur_weyl_roadmap.md) for the full design roadmap and the identities each phase is gated on.
+
+## Installation
+
+Requires Python ≥ 3.9.
+
+```bash
+pip install schur-weyl
+```
+
+The package itself only depends on `numpy`. For local development (cloning the repo, running the test suite), install it editable with the `dev` extra instead, which pulls in `pytest` and `ruff`:
+
+```bash
+pip install -e ".[dev]"
+```
+
+## Modules
+
+| Module | Contents |
+|---|---|
+| [`young_diagrams`](src/schur_weyl/young_diagrams.py) | Partitions, conjugation, hook lengths, content, dominance order, addable/removable corners |
+| [`dimensions`](src/schur_weyl/dimensions.py) | $f^\lambda$ (Specht module dimension, hook-length formula) and $\dim V_\lambda^d$ (Weyl module dimension, content formula) |
+| [`tableaux`](src/schur_weyl/tableaux.py) | Standard and semistandard Young tableaux, Kostka numbers, reading words |
+| [`symmetric_group`](src/schur_weyl/symmetric_group.py) | Permutations as 0-indexed one-line tuples: composition, inverse, cycle type, conjugacy class sizes |
+| [`character`](src/schur_weyl/character.py) | Irreducible characters $\chi^\lambda(\mu)$ of $S_n$ via the Murnaghan–Nakayama rule; full character tables |
+| [`symmetric_functions`](src/schur_weyl/symmetric_functions.py) | Schur polynomials (Jacobi–Trudi) and power-sum symmetric functions |
+| [`isotypic`](src/schur_weyl/isotypic.py) | Isotypic projectors $P_\lambda$ acting on $(\mathbb{C}^d)^{\otimes n}$, built from class sums of the permutation action |
+| [`sw_measure`](src/schur_weyl/sw_measure.py) | The Schur–Weyl measure $\Pr[\lambda] = f^\lambda\, s_\lambda(\mathrm{spec}\,\rho)$ for i.i.d. copies of a state $\rho$ |
+| [`young_orthonormal`](src/schur_weyl/young_orthonormal.py) | Young's orthogonal form: explicit irrep matrices $\rho^\lambda(\sigma)$ indexed by standard tableaux, and the Jucys–Murphy elements |
+
+## Usage
+
+```python
+from schur_weyl import (
+    partitions, dim_specht, dim_weyl, kostka,
+    schur_polynomial, isotypic_proj,
+)
+from schur_weyl.character import character, character_table
+from schur_weyl.sw_measure import schur_weyl_measure
+
+# dimension formulas
+dim_specht((2, 1))          # -> 2, the standard rep of S_3
+dim_weyl((2, 1), d=3)       # -> 8
+
+# characters via Murnaghan-Nakayama
+character((2, 1), (3,))     # -> -1
+
+# the Schur-Weyl measure for n i.i.d. copies of a state with given spectrum
+schur_weyl_measure(spectrum=[0.7, 0.3], k=4)
+# -> {(4,): 0.2401, (3, 1): 0.4116, (2, 2): 0.1323, (2, 1, 1): 0.0189, ...}
+
+# the isotypic projector on (C^d)^{\otimes n}
+P = isotypic_proj((2, 1), d=2)   # np.ndarray, P @ P == P
+```
+
+## Testing
+
+```bash
+pytest
+```
+
+Tests live in [`tests/`](tests) and mirror the module layout; most assert the closed-form identities from the roadmap (e.g. $\sum_\lambda (f^\lambda)^2 = n!$, character-table orthogonality, $P_\lambda^2 = P_\lambda$, $\operatorname{tr}\rho^\lambda(X_k)$ diagonal with content eigenvalues) rather than fixed expected outputs.
+
+## Status
+
+Implemented through Young's orthogonal form and Jucys–Murphy elements (roadmap phases 0–5, 7–9). Not yet implemented: the generic tensor-space permutation action as a standalone module (phase 6, currently inlined in `isotypic`), and the explicit Schur transform (phase 10). See [`TODO.md`](TODO.md) for near-term items.
+
+## License
+
+MIT — see [LICENSE](LICENSE).

schur_weyl-0.1.0/README.md

@@ -0,0 +1,80 @@
+# schur-weyl
+
+Tools from Schur–Weyl duality, built from scratch on top of `numpy` and the Python standard library — no representation-theory or combinatorics dependencies.
+
+Schur–Weyl duality decomposes $(\mathbb{C}^d)^{\otimes n}$ under the commuting actions of $S_n$ (permuting tensor factors) and $GL_d$ (acting diagonally) into isotypic blocks indexed by partitions $\lambda \vdash n$ with $\ell(\lambda) \le d$:
+
+$$(\mathbb{C}^d)^{\otimes n} \cong \bigoplus_{\lambda} S^\lambda \otimes V_\lambda^d$$
+
+This package implements the combinatorics and linear algebra needed to work with that decomposition directly: partitions and Young tableaux, dimension formulas, symmetric-group characters via Murnaghan–Nakayama, Schur polynomials, isotypic projectors on tensor space, the Schur–Weyl measure, and Young's orthogonal form for the irreducible representations of $S_n$.
+
+Every module is checked against an exact mathematical identity in the test suite (Burnside's identity, character orthogonality, projector idempotence, unitarity of Young's orthogonal form, the Jucys–Murphy diagonalization, ...) rather than against hand-computed examples alone. See [`.selfDoc/schur_weyl_roadmap.md`](.selfDoc/schur_weyl_roadmap.md) for the full design roadmap and the identities each phase is gated on.
+
+## Installation
+
+Requires Python ≥ 3.9.
+
+```bash
+pip install schur-weyl
+```
+
+The package itself only depends on `numpy`. For local development (cloning the repo, running the test suite), install it editable with the `dev` extra instead, which pulls in `pytest` and `ruff`:
+
+```bash
+pip install -e ".[dev]"
+```
+
+## Modules
+
+| Module | Contents |
+|---|---|
+| [`young_diagrams`](src/schur_weyl/young_diagrams.py) | Partitions, conjugation, hook lengths, content, dominance order, addable/removable corners |
+| [`dimensions`](src/schur_weyl/dimensions.py) | $f^\lambda$ (Specht module dimension, hook-length formula) and $\dim V_\lambda^d$ (Weyl module dimension, content formula) |
+| [`tableaux`](src/schur_weyl/tableaux.py) | Standard and semistandard Young tableaux, Kostka numbers, reading words |
+| [`symmetric_group`](src/schur_weyl/symmetric_group.py) | Permutations as 0-indexed one-line tuples: composition, inverse, cycle type, conjugacy class sizes |
+| [`character`](src/schur_weyl/character.py) | Irreducible characters $\chi^\lambda(\mu)$ of $S_n$ via the Murnaghan–Nakayama rule; full character tables |
+| [`symmetric_functions`](src/schur_weyl/symmetric_functions.py) | Schur polynomials (Jacobi–Trudi) and power-sum symmetric functions |
+| [`isotypic`](src/schur_weyl/isotypic.py) | Isotypic projectors $P_\lambda$ acting on $(\mathbb{C}^d)^{\otimes n}$, built from class sums of the permutation action |
+| [`sw_measure`](src/schur_weyl/sw_measure.py) | The Schur–Weyl measure $\Pr[\lambda] = f^\lambda\, s_\lambda(\mathrm{spec}\,\rho)$ for i.i.d. copies of a state $\rho$ |
+| [`young_orthonormal`](src/schur_weyl/young_orthonormal.py) | Young's orthogonal form: explicit irrep matrices $\rho^\lambda(\sigma)$ indexed by standard tableaux, and the Jucys–Murphy elements |
+
+## Usage
+
+```python
+from schur_weyl import (
+    partitions, dim_specht, dim_weyl, kostka,
+    schur_polynomial, isotypic_proj,
+)
+from schur_weyl.character import character, character_table
+from schur_weyl.sw_measure import schur_weyl_measure
+
+# dimension formulas
+dim_specht((2, 1))          # -> 2, the standard rep of S_3
+dim_weyl((2, 1), d=3)       # -> 8
+
+# characters via Murnaghan-Nakayama
+character((2, 1), (3,))     # -> -1
+
+# the Schur-Weyl measure for n i.i.d. copies of a state with given spectrum
+schur_weyl_measure(spectrum=[0.7, 0.3], k=4)
+# -> {(4,): 0.2401, (3, 1): 0.4116, (2, 2): 0.1323, (2, 1, 1): 0.0189, ...}
+
+# the isotypic projector on (C^d)^{\otimes n}
+P = isotypic_proj((2, 1), d=2)   # np.ndarray, P @ P == P
+```
+
+## Testing
+
+```bash
+pytest
+```
+
+Tests live in [`tests/`](tests) and mirror the module layout; most assert the closed-form identities from the roadmap (e.g. $\sum_\lambda (f^\lambda)^2 = n!$, character-table orthogonality, $P_\lambda^2 = P_\lambda$, $\operatorname{tr}\rho^\lambda(X_k)$ diagonal with content eigenvalues) rather than fixed expected outputs.
+
+## Status
+
+Implemented through Young's orthogonal form and Jucys–Murphy elements (roadmap phases 0–5, 7–9). Not yet implemented: the generic tensor-space permutation action as a standalone module (phase 6, currently inlined in `isotypic`), and the explicit Schur transform (phase 10). See [`TODO.md`](TODO.md) for near-term items.
+
+## License
+
+MIT — see [LICENSE](LICENSE).

schur_weyl-0.1.0/TODO.md

@@ -0,0 +1,3 @@
+implement better Kotska calculation.
+
+Adjacent transpositions

schur_weyl-0.1.0/pyproject.toml

@@ -0,0 +1,25 @@
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[project]
+name = "schur-weyl"
+version = "0.1.0"
+description = "Tools from Schur-Weyl duality"
+readme = "README.md"
+requires-python = ">=3.9"
+license = "MIT"
+authors = [{ name = "Anton Van Cleemput", email = "anton@vancleem.com" }]
+dependencies = ["numpy>=1.24"]
+
+[project.optional-dependencies]
+dev = ["pytest", "ruff"]
+
+[project.urls]
+Homepage = "https://github.com/AVlyx/schur-weyl"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/schur_weyl"]
+
+[tool.pytest.ini_options]
+pythonpath = ["src"]

schur_weyl-0.1.0/src/schur_weyl/__init__.py

@@ -0,0 +1,5 @@
+from .young_diagrams import partitions, partition_conjugate, hook_lenght, cells, majorizes, addable_corners, removable_corners, is_in_partition
+from .dimensions import dim_specht, dim_weyl
+from .tableaux import standard_young_tableaux, semi_standard_young_tableau_by_content, semi_standard_young_tableau, kostka, reverse_reading_word
+from .symmetric_functions import schur_polynomial, power_sum
+from .isotypic import isotypic_proj

schur_weyl-0.1.0/src/schur_weyl/character.py

@@ -0,0 +1,82 @@
+"""Characters of the symmetric group via the Murnaghan-Nakayama rule."""
+
+# Made by Claude
+
+from functools import lru_cache
+from .young_diagrams import partitions
+
+# ------------------------------------------------------------- border strips
+
+
+def border_strips(lam: tuple[int, ...], k: int):
+    """Yield (new_shape, height) for every border strip of size k removable
+    from lam.
+
+    Uses beta numbers (first-column hook lengths).  With L = len(lam), set
+        beta_i = lam_i + (L - 1 - i),
+    a strictly decreasing sequence of L distinct non-negative integers.
+    Removing a border strip of size k is exactly: pick i with
+    beta_i - k >= 0 and beta_i - k not already a beta value, then replace
+    beta_i by beta_i - k.  The height of the strip is the number of beta
+    values jumped over.
+    """
+    L = len(lam)
+    if L == 0:
+        return
+    beta = [lam[i] + (L - 1 - i) for i in range(L)]
+    bset = set(beta)
+    for i in range(L):
+        target = beta[i] - k
+        if target < 0 or target in bset:
+            continue
+        height = sum(1 for b in beta if target < b < beta[i])
+        new_beta = sorted(beta[:i] + [target] + beta[i + 1 :], reverse=True)
+        new_lam = [new_beta[j] - (L - 1 - j) for j in range(L)]
+        while new_lam and new_lam[-1] == 0:
+            new_lam.pop()
+        yield tuple(new_lam), height
+
+
+# ------------------------------------------------------- Murnaghan-Nakayama
+
+
+@lru_cache(maxsize=None)
+def _character(lam: tuple[int, ...], mu: tuple[int, ...]) -> int:
+    if not mu:
+        return 1 if not lam else 0
+    k = mu[0]
+    rest = mu[1:]
+    total = 0
+    for new_lam, height in border_strips(lam, k):
+        total += (-1) ** height * _character(new_lam, rest)
+    return total
+
+
+def character(lam: tuple[int, ...], cycle_type: tuple[int, ...]) -> int:
+    """chi^lam(cycle_type): the irreducible character of S_n indexed by the partition
+    lam, evaluated on the conjugacy class of cycle type cycle_type.
+
+    Examples:
+        >>> character((3,), (1, 1, 1))       # trivial rep
+        1
+        >>> character((1, 1, 1), (2, 1))    # sign rep at a transposition
+        -1
+        >>> character((2, 1), (1, 1, 1))    # dimension of the standard rep
+        2
+        >>> character((2, 1), (3,))
+        -1
+        >>> character((2, 1), (2, 1))
+        0
+    """
+    cycle_type = tuple(sorted((x for x in cycle_type if x > 0), reverse=True))
+    if sum(lam) != sum(cycle_type):
+        raise ValueError(f"size mismatch: |{lam}| != |{cycle_type}|")
+    return _character(lam, cycle_type)
+
+
+def character_table(n: int):
+    """(rows, cols, table) with rows/cols the partitions of n in the order
+    produced by partitions(n), and table[a][b] = chi^{rows[a]}(cols[b])."""
+    ps = list(partitions(n))
+    table = [[character(lam, mu) for mu in ps] for lam in ps]
+    return ps, ps, table

schur_weyl-0.1.0/src/schur_weyl/dimensions.py

@@ -0,0 +1,55 @@
+from math import factorial
+from .young_diagrams import cells, hook_lenght
+
+
+def dim_specht(lam: tuple[int, ...]) -> int:
+    """The dimension of the Specht module S^lam.
+    The number of SYT of shape lam.
+    f^lam = n! / prod(hooks).
+
+    Args:
+        lam (tuple[int, ...]): The partition
+
+    Returns:
+        int: $f^\\lambda$
+
+    Examples:
+        >>> dim_specht((2, 1))
+        2
+        >>> dim_specht((3, 2, 1))
+        16
+    """
+    n = sum(lam)
+    hooks = 1
+    for i, j in cells(lam):
+        hooks *= hook_lenght(lam, i, j)
+    return factorial(n) // hooks
+
+
+def dim_weyl(lam: tuple[int, ...], d: int) -> int:
+    """The dimension of the Weyl module V_lam for GL_d.
+    The number of SSYT with entries from 1 to d
+
+    Returns 0 if lam has more than d rows (a cell then has d + content = 0).
+
+    Args:
+        lam (tuple[int, ...]): The partition
+        d (int): The alphabet size
+
+    Returns:
+        int: $dim V_lam^d$
+
+    Examples:
+        >>> dim_weyl((2, 1), 2)
+        2
+        >>> dim_weyl((2, 1), 3)
+        8
+        >>> dim_weyl((2,), 3)
+        6
+    """
+    numerator = 1
+    denominator = 1
+    for i, j in cells(lam):
+        numerator *= d + j - i
+        denominator *= hook_lenght(lam, i, j)
+    return numerator // denominator