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

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

R_190( 97, 96) = PX( 95, 2) = UG(ATD[380, 15])

      = UG(Rmap(760, 69) { 95, 4| 4}_ 95) = PL(W( 95, 2)[ 4^ 95]) = AT[380, 1]