1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | LIB "gaussman.lib"; |
---|
5 | |
---|
6 | |
---|
7 | list d= |
---|
8 | |
---|
9 | // simple singularities |
---|
10 | |
---|
11 | "A_{1}","x,y","ds","x2+y2", |
---|
12 | "A_{2}","x,y","ds","x3+y2", |
---|
13 | "A_{3}","x,y","ds","x4+y2", |
---|
14 | "A_{4}","x,y","ds","x5+y2", |
---|
15 | "A_{5}","x,y","ds","x6+y2", |
---|
16 | "A_{6}","x,y","ds","x7+y2", |
---|
17 | "A_{7}","x,y","ds","x8+y2", |
---|
18 | "A_{8}","x,y","ds","x9+y2", |
---|
19 | |
---|
20 | "D_{4}","x,y","ds","x2y+y3", |
---|
21 | "D_{5}","x,y","ds","x2y+y4", |
---|
22 | "D_{6}","x,y","ds","x2y+y5", |
---|
23 | "D_{7}","x,y","ds","x2y+y6", |
---|
24 | "D_{8}","x,y","ds","x2y+y7", |
---|
25 | "D_{9}","x,y","ds","x2y+y8", |
---|
26 | "D_{10}","x,y","ds","x2y+y9", |
---|
27 | |
---|
28 | "E_{6}","x,y","ds","x3+y4", |
---|
29 | "E_{7}","x,y","ds","x3+xy3", |
---|
30 | "E_{8}","x,y","ds","x3+y5", |
---|
31 | |
---|
32 | // unimodal singularities |
---|
33 | |
---|
34 | // parabolic |
---|
35 | |
---|
36 | "P_{8}","x,y,z","ds","x3+y3+z3", |
---|
37 | "X_{9}","x,y","ds","x4+y4", |
---|
38 | "J_{10}","x,y","ds","x3+y6", |
---|
39 | |
---|
40 | // hyperbolic |
---|
41 | |
---|
42 | "T_{3,4,5}","x,y,z","ds","x3+y4+z5+xyz", |
---|
43 | "T_{3,4,6}","x,y,z","ds","x3+y4+z6+xyz", |
---|
44 | "T_{4,5,6}","x,y,z","ds","x4+y5+z6+xyz", |
---|
45 | |
---|
46 | // 14 exceptional families |
---|
47 | |
---|
48 | "E_{12}","x,y","ds","x3+y7", |
---|
49 | "E_{13}","x,y","ds","x3+xy5", |
---|
50 | "E_{14}","x,y","ds","x3+y8", |
---|
51 | |
---|
52 | "Z_{11}","x,y","ds","x3y+y5", |
---|
53 | "Z_{12}","x,y","ds","x3y+xy4", |
---|
54 | "Z_{13}","x,y","ds","x3y+y6", |
---|
55 | |
---|
56 | "W_{12}","x,y","ds","x4+y5", |
---|
57 | "W_{13}","x,y","ds","x4+xy4", |
---|
58 | |
---|
59 | "Q_{10}","x,y,z","ds","x3+y4+yz2", |
---|
60 | "Q_{11}","x,y,z","ds","x3+y2z+xz3", |
---|
61 | "Q_{12}","x,y,z","ds","x3+y5+yz2", |
---|
62 | |
---|
63 | "S_{11}","x,y,z","ds","x4+y2z+xz2", |
---|
64 | "S_{12}","x,y,z","ds","x2y+y2z+xz3", |
---|
65 | |
---|
66 | "U_{12}","x,y,z","ds","x3+y3+z4"; |
---|
67 | |
---|
68 | |
---|
69 | proc tst_gaussm(poly f) |
---|
70 | { |
---|
71 | basering; |
---|
72 | f; |
---|
73 | print(monodromy(f)); |
---|
74 | list l=vwfilt(f); |
---|
75 | l; |
---|
76 | l=spnf(l[1],l[3],l[4])+list(l[5],l[6]); |
---|
77 | endvfilt(l); |
---|
78 | spgamma(l); |
---|
79 | l=tmatrix(f); |
---|
80 | print(l[1]); |
---|
81 | print(l[2]); |
---|
82 | } |
---|
83 | |
---|
84 | |
---|
85 | string c; |
---|
86 | int i; |
---|
87 | for(i=1;i<=size(d);i=i+4) |
---|
88 | { |
---|
89 | c="ring R=0,("+d[i+1]+"),"+d[i+2]+";"; |
---|
90 | execute(c); |
---|
91 | c="poly f="+d[i+3]+";"; |
---|
92 | execute(c); |
---|
93 | |
---|
94 | tst_gaussm(f); |
---|
95 | |
---|
96 | kill R; |
---|
97 | } |
---|
98 | |
---|
99 | tst_status(1); |
---|
100 | $ |
---|