[m n vlist] res-kernel-image c When, D^p <-- m --- D^q <-- n -- D^r D^q/c is isomorhic to ker(m)/im(n). vlist is a list of variables.