正軸体系の下限定理のexactを調べているのであるが、なかなか規則性を見出すのが難しい。

偶然の一致もあるのだろうが・・・

逆に一致しないものには六角形構造がみられる。

しかし、例外があって、六角形構造をもたない不一致例も少数例ではあるが存在する・・・

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】3次元

1の数1個:3C1(exact3):(100),(010),(001)

1の数2個:3C2(exact2):(101),(011)

1の数3個:3C3(exact0)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】4次元

1の数1個:4C1(exact4):(1000),(0100),(0010),(0001)

1の数2個:4C2＝3C1の先頭に1(exact2):(1010),(1001)

+3C2の先頭に0(exact2):(0101),(0011)

1の数3個:4C3＝3C2の先頭に1(exact1):(1011)

+3C3の先頭に0(exact0)

1の数4個:4C4(exact0)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】5次元

1の数1個:5C1(exact5):(10000),(01000),(00100),(00010),(00001)

1の数2個:5C2＝4C1の先頭に1(exact3):(10100),(10010),(10001)

+4C2の先頭に0(exact3):(01001),(00101),(0001)

1の数3個:5C3＝4C2の先頭に1(exact2):(10101),((10011)

+4C3の先頭に0(exact0)

1の数4個:5C4＝4C3の先頭に1(exact0)+4C4の先頭に0(exact0)

1の数5個:5C5(exact0)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【４】6次元

1の数1個:6C1(exact6):(100000),(010000),(001000),(000100),(000010),(000001)

1の数2個:6C2＝5C1の先頭に1(exact4):(101000),(100100),(100010),(100001)

+5C2の先頭に0(exact5):(010010),(010001),(001001),(000101),(000011)

1の数3個:6C3＝5C2の先頭に1(exact3):(101001)(100101),(100011)

+5C3の先頭に0(exact1):(010011)

1の数4個:6C4＝5C3の先頭に1(exact0)+5C4の先頭に0(exact0)

1の数5個:6C5＝5C4の先頭に1(exact0)+5C5の先頭に0(exact0)

1の数5個:6C6(exact0)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝