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

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

PL(ATD[ 6, 1]#ATD[ 54, 5]) = PL(ATD[ 12, 5]#ATD[ 27, 5]) = PL(ATD[ 12, 5]#ATD[ 54, 5])

      = PL(ATD[ 27, 5]#DCyc[ 4]) = PL(ATD[ 54, 5]#DCyc[ 4]) = XI(Rmap(216, 29) { 6, 12| 12}_ 6)

      = PL(CSI(AMC( 3, 3, [ 0. 1: 2. 2])[ 6^ 9], 4)) = PL(CS(AMC( 6, 3, [ 0. 1: 2. 2])[ 6^ 18], 0)) = BGCG(AMC( 6, 3, [ 0. 1: 2. 2]), C_ 4, {1', 2', 3, 3', 4', 11', 12', 13', 14, 14'})

      = BGCG(UG(ATD[216,71]); K1;15)