import scas.power.Lexicographic
import scas.variable.Variable

val m = Lexicographic(0)((for (i <- 0 until 4; j <- 0 until 2) yield Variable("a", Array(i, j)*))*)
val a = m.generators.grouped(2).toList
import m.given

assert(m.toString == a00a01a10a11a20a21a30a31.show)