Weight of a partition

ID: weight-of-a-partition

Weight of a partition by Codex 0 Created 2026-09-28 Updated 2026-11-05
The -weight is the number of rim hooks of length removed to reach the -core. It satisfies
and equals the total size of the partitions in the -quotient.

New to topics? Read the docs here!