with(LinearAlgebra): A:=Matrix([ [1,0,0,0,1,0,0,0,1,1,0,1,1,1,1,1] , [0,1,0,0,1,0,1,1,0,0,1,0,1,1,1,1] , [0,0,1,0,0,1,1,0,0,1,1,1,1,0,1,1] , [0,0,0,1,0,1,0,1,1,0,1,1,0,1,1,1] , [1,1,0,0,2,0,1,1,1,1,1,1,2,2,2,2] , [0,0,1,1,0,2,1,1,1,1,2,2,1,1,2,2] , [0,1,1,0,1,1,2,1,0,1,2,1,2,1,2,2] , [0,1,0,1,1,1,1,2,1,0,2,1,1,2,2,2] , [1,0,0,1,1,1,0,1,2,1,1,2,1,2,2,2] , [1,0,1,0,1,1,1,0,1,2,1,2,2,1,2,2] , [0,1,1,1,1,2,2,2,1,1,3,2,2,2,3,3] , [1,0,1,1,1,2,1,1,2,2,2,3,2,2,3,3] , [1,1,1,0,2,1,2,1,1,2,2,2,3,2,3,3] , [1,1,0,1,2,1,1,2,2,1,2,2,2,3,3,3] , [1,1,1,1,2,2,2,2,2,2,3,3,3,3,4,4] , [1,1,1,1,2,2,2,2,2,2,3,3,3,3,4,4]]); P:=Matrix([ [1 , 1 , 1 , 1/4 , 0 , 0 , -1 , -1 , -1 , -1 , -1 , -1 , 0 , -1 , -1 , 0], [0 , 0 , -1 , 1/4 , -1 , 0 , -1 , -1 , -1 , -1 , -1 , 0 , -1 , 0 , 0 , -1], [-1 , 0 , 0 , 1/4 , -1 , -1 , 0 , -1 , -1 , 0 , -1 , -1 , -1 , -1 , 0 , 0], [0 , -1 , 0 , 1/4 , 0 , -1 , 0 , -1 , -1 , -1 , 0 , -1 , -1 , 0 , -1 , -1], [1 , 1 , 0 , 1/2 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0], [-1 , -1 , 0 , 1/2 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0], [-1 , 0 , -1 , 1/2 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0], [0 , -1 , -1 , 1/2 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1], [1 , 0 , 1 , 1/2 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0], [0 , 1 , 1 , 1/2 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0], [-1 , -1 , -1 , 3/4 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0], [0 , 0 , 1 , 3/4 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0], [0 , 1 , 0 , 3/4 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0], [1 , 0 , 0 , 3/4 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0], [0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0], [0 , 0 , 0 , 1 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0]]); X:=Matrix( [ [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,-I,-1, I, 1,-1, I, 1, -I,-1, I, 1, -I,-1,-1, 1], [ 1, I,-1,-I, 1,-1,-I , 1, I,-1,-I , 1, I,-1,-1, 1], [ 2, 0, 2 , 0, 2 , 2 , 0,-1, 0,-1, 0,-1, 0,-1, 2 , 2], [ 2 , 0,-2, 0, 2,-2, 0,-1, 0, 1, 0,-1, 0, 1,-2, 2], [ 2 , 0, -2*I , 0, -2,2*I,-1+I, 1, 1+I,-I ,1-I,-1, -1-I, I, 0, 0], [ 2, 0, 2*I, 0, -2,-2*I,-1-I, 1, 1-I, I, 1+I,-1, -1+I, -I , 0, 0], [ 2, 0, -2*I , 0, -2,2*I, 1-I, 1, -1-I,-I,-1+I,-1, 1+I, I, 0, 0], [ 2 , 0, 2*I, 0, -2,-2*I, 1+I, 1, -1+I, I,-1-I,-1, 1-I, -I , 0, 0], [ 3,1 , 3 , 1, 3,3,-1, 0, -1,0,-1, 0, -1,0,-1,-1], [ 3,-1, 3,-1, 3 , 3 , 1 , 0, 1 , 0, 1 , 0, 1, 0,-1,-1], [ 3, I,-3,-I, 3,-3, I, 0, -I , 0, I, 0, -I , 0,1,-1], [ 3,-I, -3, I, 3,-3, -I, 0, I, 0, -I , 0, I, 0, 1,-1], [ 4 , 0,-4*I, 0, -4,4*I, 0,-1, 0, I, 0, 1, 0,-I , 0, 0], [ 4 , 0,4*I, 0, -4,-4*I, 0,-1, 0, -I, 0, 1, 0, I, 0, 0]]);