1 | LIB "tst.lib"; tst_init(); |
---|
2 | LIB "deform.lib"; |
---|
3 | ring R=32003,(x,y,z),ds; |
---|
4 | //---------------------------------------------------- |
---|
5 | // hypersurface case (from series T[p,q,r]): |
---|
6 | int p,q,r = 3,3,4; |
---|
7 | poly f = x^p+y^q+z^r+xyz; |
---|
8 | print(deform(f)); |
---|
9 | // the miniversal deformation of f=0 is the projection from the |
---|
10 | // miniversal total space to the miniversal base space: |
---|
11 | // { (A,B,C,D,E,F,G,H,x,y,z) | x3+y3+xyz+z4+A+Bx+Cxz+Dy+Eyz+Fz+Gz2+Hz3 =0 } |
---|
12 | // --> { (A,B,C,D,E,F,G,H) } |
---|
13 | //---------------------------------------------------- |
---|
14 | // complete intersection case (from series P[k,l]): |
---|
15 | int k,l =3,2; |
---|
16 | ideal j=xy,x^k+y^l+z2; |
---|
17 | print(deform(j)); |
---|
18 | def L=versal(j); // using default names |
---|
19 | def Px=L[1]; setring Px; |
---|
20 | show(Px); // show is a procedure from inout.lib |
---|
21 | listvar(matrix); |
---|
22 | // ___ Equations of miniversal base space ___: |
---|
23 | Js; |
---|
24 | // ___ Equations of miniversal total space ___: |
---|
25 | Fs; |
---|
26 | // the miniversal deformation of V(j) is the projection from the |
---|
27 | // miniversal total space to the miniversal base space: |
---|
28 | // { (A,B,C,D,E,F,x,y,z) | xy+F+Ez=0, y2+z2+x3+D+Cx+Bx2+Ay=0 } |
---|
29 | // --> { (A,B,C,D,E,F) } |
---|
30 | //---------------------------------------------------- |
---|
31 | // general case (cone over rational normal curve of degree 4): |
---|
32 | kill L; |
---|
33 | ring r1=0,(x,y,z,u,v),ds; |
---|
34 | matrix m[2][4]=x,y,z,u,y,z,u,v; |
---|
35 | ideal i=minor(m,2); // 2x2 minors of matrix m |
---|
36 | int time=timer; |
---|
37 | // Call parameters of the miniversal base A(1),A(2),...: |
---|
38 | def L=versal(i,0,"","A("); |
---|
39 | "// used time:",timer-time,"sec"; // time of last command |
---|
40 | def Def_rPx=L[1]; setring Def_rPx; |
---|
41 | Fs; |
---|
42 | Js; |
---|
43 | // the miniversal deformation of V(i) is the projection from the |
---|
44 | // miniversal total space to the miniversal base space: |
---|
45 | // { (A(1..4),x,y,z,u,v) | |
---|
46 | // -u^2+x*v+A(2)*u+A(4)*v=0, -z*u+y*v-A(1)*u+A(3)*u=0, |
---|
47 | // -y*u+x*v+A(3)*u+A(4)*z=0, z^2-y*u+A(1)*z+A(2)*y=0, |
---|
48 | // y*z-x*u+A(2)*x-A(3)*z=0, -y^2+x*z+A(1)*x+A(3)*y=0 } |
---|
49 | // --> { A(1..4) | |
---|
50 | // A(2)*A(4) = -A(3)*A(4) = -A(1)*A(4)+A(4)^2 = 0 } |
---|
51 | //---------------------------------------------------- |
---|
52 | tst_status(1);$ |
---|