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

Oberwolfach http://www.mathematik.uni-kl.de/~zca/Singular