matrix := [ [0,0,5,0], [0,2,2,0], [5,3,5,0], [1,6,2,5] ]*Z(7);