rowcompr - compression de lignes d'une matrice de polynômes
Compression de lignes de la matrice de polynômes A .
X est une base de polynômes unimodulaire à gauche qui compresse les lignes de A . rk est le rang normal de A.
Attention : élimination des termes "petits" (à utiliser avec précaution).
colcompr ,