matrix-diagonal public under subset 6 List Picture As a command %3 n0 matrix-diagonal n1 subset n1->n0