-- see here: http://write-up.semantic-db.org/29-matrices-in-sw-format.html M1 |x1> => 3|y2> M1 |x2> => 7|y1> + 6|y2> M1 |x3> => |y1> + 4|y2> M1 |x4> => |y1> M1 |x5> => 6|y1> + 4|y2> M1 |x6> => 4|y1> + 8|y2> M1 |x7> => |y1> + 2|y2> M2 |y1> => 6|z1> + 2|z2> + 7|z3> + 9|z4> + 5|z5> M2 |y2> => 3|z2> + 4|z3> + |z5>