H_8 := Matrix(8,8,[ [1,1,1,1,1,1,1,1], [1,-1,1,-1,1,-1,1,-1], [1,1,-1,-1,1,1,-1,-1], [1,-1,-1,1,1,-1,-1,1], [1,1,1,1,-1,-1,-1,-1], [1,-1,1,-1,-1,1,-1,1], [1,1,-1,-1,-1,-1,1,1], [1,-1,-1,1,-1,1,1,-1] ]);