// T1 and T2 examples

// compute T1 of an isolated complete intersection singularity
// (of course unobstructed)
ring r=0,(x,y,z),ds;               
ideal I=x2+y2+z3,yz;              // the singularity 
def N=I*freemodule(2);            // presentation of normal module
def T=jacob(I)+N;                 // presentation of T^1
vdim(std(T));                     // the Tjurina number

kbase(std(T));                    // base of 1st order miniversal deform.

// or using a SINGULAR command
LIB "sing.lib";                    // command is in 'sing.lib'
Tjurina(I);                        // compute T1, ICIS case 

kbase(std(_));                     // base of 1st order miniveral deform.

// more complicated example
LIB "sing.lib";                   // T1 and T2 are in 'deform.lib'
ring r1=0,(x,y,z,u,v),ds;         // local ring in 5 variables
matrix M[2][4] = x,y,z,u,y,z,u,v; // the matrix
ideal I=minor(M,2);               // the ideal
I;

T_12(I);                          // compute T1 and T2

// also computation of versal family up to given order is possible