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