Outline

Examples


Ext

Primdec

Normalize

MuPAD

Deform

Classify

Monodromy

Kodaira

Puiseux

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);

Hannover http://www.singular.uni-kl.de