H_2 := Matrix(2,2,[ [1,1], [1,-1] ]);