Compute a presentation of the subquotient subquot(A,B) as a cokernel via syzygies (Algorithm Subquotient)

Class:
Algorithm