Partition lookup
Enter a partition \(\mu\) as comma-separated parts, e.g. 5,3,1,1.
Enumerate partitions by deficit
List partitions with a chosen value of \(\operatorname{defc}=k\), optionally restricting the reduced Dyck-vector length range.
Flagpole rows
Build the flagpole data \((\lambda,a,\varepsilon)\mapsto \mu\mapsto TI_2\) for one deficit.
Global chain initials (from TI₂)
Uses \(NU_1\)-final enumeration over an automatically chosen length range based on the deficit \(k\). Works for any \(k\).
Appendix chain consistency table (defc = 10)
For every chain in the HLLL appendix, this checks that each element has \(\operatorname{defc}=10\) and that each \(NU_1\)-initial partition's
\(a\) (\(\operatorname{dinv}\)), \(h\) (\(\operatorname{mind}\)), and \(m\) (consecutive same-\(\operatorname{mind}\) minus \(1\)) match the appendix vectors.
This section uses the included HLLL appendix table and only works for \(k=10\).
The panels above (Flagpole table, Global chain initials) work for any deficit.