[Home] [Table] [Glossary] [Families]

On this page are all constructions for C4[ 440, 31 ]. See Glossary for some detail.

R_220(112, 111) = PX(110, 2) = PL(BC_110({ 0, 55 }, { 1, 56 })

      = UG(ATD[440, 68]) = ATD[ 10, 2]#ATD[ 22, 1] = ATD[ 10, 2]#ATD[110, 9]

      = ATD[ 22, 1]#ATD[110, 9] = ATD[110, 9]#ATD[110, 9] = UG(Rmap(880,137) {110, 4| 4}_110)

      = PL(W(110, 2)[ 4^110]) = BGCG(W(110, 2); K1;4) = B(R_110( 57, 56))

      = AT[440, 2]