, If not, let j be the index of some non zero row of D. Let ? ij be the unitary matrix that permutes rows i and j of B . Since ? ij is its own inverse

P. Boulet, Array-ol revisited, multidemensional intensive signal processing specification, INRIA, 2007.

E. Lenormand, , 2007.

A. Schrijver, Theory of linear and integer programming, 1986.

R. Seghir, Méthodes de dénombrement de points entiers de polyèdres et applicationsà applications`applicationsà l'optimisation de programmes, ULP, 2006.