For the maximality test of the i th row of a matrix, the row is compared with each permutation action in the automorphisms list. For each permutation, the original matrix A is permuted. Then, the i th rows of the original matrix and the permuted one are compared. These two rows are compared based on the i th atom partition. For an initial matrix A, as shown in Figure , with its partition } and the refined partition , there are 5 cycle