rowcompr - row compression of polynomial matrix
row compression of polynomial matrix A .
X is a left polynomial unimodular basis which row compressed thee rows of A. rk is the normal rank of A.
Warning: elimination of "small" terms (use with care!).