odd-side-fills.md
752 B · markdown
Odd-side fills
- 2026-08-30 [Proved] At odd side
n = 2k - 1the residue split of an axis hasklow positions andk - 1high, so a base-2 flat design fillssum over its corners of k^(zeros) (k - 1)^(ones), and the six designs of the plane read as the polygonal numbers ink: low cornerk^2(A000290), treek(2k - 1)hexagonal (A000384), carpetk(3k - 2)octagonal (A000567), void2k^2 - 2k + 1centered square (A001844), corner and centre3k^2 - 3k + 1centered hexagonal (A003215), solid(2k - 1)^2odd squares (A016754);two_censusat sides 3 to 11 returns8, 21, 40, 65, 96for the carpet and6, 15, 28, 45, 66for the tree. Witness: mrlymath::formulas::counting fill polynomial, mrlydemo two_census, A000567, A000384.