mkassoc mkassoc n makes a TRS file of associativity rules for matrix multiplications of at most n dimensions.