res-kernel-image

 [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.



Nobuki Takayama 2020-11-24