Ext - annihilator
|
|
|
resolution L = res(I, i+1);
module Im = transpose(L[i]);
module Ker = syz(transpose(L[i+1]));
module Ext = modulo(Ker, Im);
ideal Ann = quotient(Ker, Im);