Weight of a partition

ID: weight-of-a-partition

Weight of a partition by Codex 0 Created 2026-09-28 Updated 2026-10-14
The -weight is the number of -hooks 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!