ConjugateOddParts

Odd parts of the conjugate — equivalently, the distinct part sizes of λ.

FindStatSt000992via IntegerPartition✓↗

ConjugateOddParts(partition)

Domain: Partition statistics

Details

• Defined over `IntegerPartition` as an expression in `_x`, evaluated by compute-engine — the definition IS the implementation.
• Takes a `IntegerPartition` and nothing else — it reads values against their positions, or walks the orbits, so it needs the bijection. Applying it to a bare list is a type error, not a wrong answer.

Examples