1 | // Test File for 'zeroset.lib" |
---|
2 | // rinvar.tst |
---|
3 | // |
---|
4 | // Implementation by : Thomas Bayer |
---|
5 | // Current Adress: |
---|
6 | // Institut fuer Informatik, Technische Universitaet Muenchen |
---|
7 | // www: http://wwwmayr.informatik.tu-muenchen.de/personen/bayert/ |
---|
8 | // email : bayert@in.tum.de |
---|
9 | // |
---|
10 | // Last change 10.12.2000 |
---|
11 | // |
---|
12 | // written in the frame of the diploma thesis (advisor: Prof. Gert-Martin Greuel) |
---|
13 | // "Computations of moduli spaces of semiquasihomogenous singularities and an |
---|
14 | // implementation in Singular" |
---|
15 | // Arbeitsgruppe Algebraische Geometrie, Fachbereich Mathematik, |
---|
16 | // Universitaet Kaiserslautern |
---|
17 | /////////////////////////////////////////////////////////////////////////////// |
---|
18 | |
---|
19 | LIB "tst.lib"; |
---|
20 | LIB "rinvar.lib"; |
---|
21 | |
---|
22 | tst_init(); |
---|
23 | tst_ignore("CVS ID $Id: rinvar.tst,v 1.1 2000-12-11 16:07:30 Singular Exp $"); |
---|
24 | |
---|
25 | |
---|
26 | // example 1 |
---|
27 | |
---|
28 | ring S = 0,(s(1..4), t(1..6)), dp; |
---|
29 | ideal G = s(1) - 1, s(2) - 2*s(3) - 3*s(4); |
---|
30 | ideal action = s(1)*t(1) + s(2)*t(2), s(1)*t(2), s(1)*t(3) + s(3)*t(4), s(1)*t(4), s(1)*t(5) + s(4)*t(6), s(1)*t(6); |
---|
31 | |
---|
32 | ideal inv = NullCone(G,action); |
---|
33 | inv; |
---|
34 | kill S; |
---|
35 | //tst_status(); |
---|
36 | |
---|
37 | |
---|
38 | // example 2 |
---|
39 | |
---|
40 | ring S = 0,(s(1..10), t(1..3)), dp; |
---|
41 | |
---|
42 | ideal G3 = s(7)+s(8)+s(9)-1,s(4)+s(5)+s(6)-1,s(3)+s(6)+s(9)-1,s(2)+s(5)+s(8)-1,s(1)-s(5)-s(6)-s(8)-s(9)+1,s(9)^2-s(9),s(8)*s(9),s(6)*s(9),s(8)^2-s(8),s(6)*s(8)+s(5)*s(9)-s(5)-s(6)-s(8)-s(9)+1,s(5)*s(8),s(6)^2-s(6),s(5)*s(6),s(5)^2-s(5); |
---|
43 | ideal G = G3, s(10)^3 - 1; |
---|
44 | ideal action = s(10)*(t(1)*s(1)+t(2)*s(2)+t(3)*s(3)),s(10)*(t(1)*s(4)+t(2)*s(5)+t(3)*s(6)),s(10)*(t(1)*s(7)+t(2)*s(8)+t(3)*s(9)); |
---|
45 | |
---|
46 | def T = InvariantRing(G,action); |
---|
47 | setring T; |
---|
48 | invars; |
---|
49 | groupid; |
---|
50 | |
---|
51 | kill S; |
---|
52 | kill T; |
---|
53 | //tst_status(); |
---|
54 | |
---|
55 | |
---|
56 | // example 3 |
---|
57 | |
---|
58 | ring S = 0,(s(1..4),x,y),dp; |
---|
59 | ideal action = s(1)*x+s(2)*y,s(3)*x+s(4)*y; |
---|
60 | ideal G =s(3)*s(4),s(2)*s(4),s(3)^2+s(4)^2-1,s(1)*s(3),s(2)^2+s(4)^2-1,s(1)*s(2),s(1)^2-s(4)^2,s(4)^3-s(4),s(1)*s(4)^2-s(1); |
---|
61 | |
---|
62 | def T = InvariantRing(G,action); |
---|
63 | setring T; |
---|
64 | invars; |
---|
65 | groupid; |
---|
66 | |
---|
67 | kill S; |
---|
68 | kill T; |
---|
69 | //tst_status(); |
---|
70 | |
---|
71 | // example 4 |
---|
72 | |
---|
73 | ring S = 0,(s(1..3), t(1..4)), dp; |
---|
74 | ideal G = s(1)^4-1, s(2)^4-1, s(3)^4-1; |
---|
75 | ideal action = s(1)^2*s(2)^2*s(3)^2*t(1), s(1)*s(2)^2*s(3)^2*t(2), s(1)^2*s(2)*s(3)^2*t(3), s(1)^2*s(2)^2*s(3)*t(4); |
---|
76 | |
---|
77 | def T = InvariantRing(G,action); |
---|
78 | setring T; |
---|
79 | invars; |
---|
80 | groupid; |
---|
81 | |
---|
82 | kill S; |
---|
83 | kill T; |
---|
84 | //tst_status(); |
---|
85 | |
---|
86 | |
---|
87 | // example 5 |
---|
88 | |
---|
89 | ring S = (0,a), (s(1..4),t(1..2)), dp; |
---|
90 | |
---|
91 | ideal action = s(1)*t(1)+s(2)*t(2),s(3)*t(1)+s(4)*t(2); |
---|
92 | ideal G = s(4)^5-s(4),s(3)*s(4),4*s(3)^4+(-4*a)*s(3)^3*s(4)^2+(-2*a+6)*s(3)^3*s(4)+(a-1)*s(3)^2*s(4)^3+(4*a-2)*s(3)^2*s(4)^2+(-a-5)*s(3)^2*s(4)+(-a+5)*s(3)*s(4)^3+6*s(3)*s(4)^2+(3*a+3)*s(3)*s(4)+4*s(4)^4-4,4*s(2)+4*s(3)^3+(-4*a)*s(3)^2*s(4)^2+(-2*a+6)*s(3)^2*s(4)+(a-1)*s(3)*s(4)^3+(4*a-2)*s(3)*s(4)^2+(-a-5)*s(3)*s(4),s(1)-s(4)^3; |
---|
93 | |
---|
94 | def T = InvariantRing(G,action); |
---|
95 | setring T; |
---|
96 | invars; |
---|
97 | groupid; |
---|
98 | |
---|
99 | kill S; |
---|
100 | kill T; |
---|
101 | //tst_status(); |
---|
102 | |
---|
103 | // example 6 |
---|
104 | |
---|
105 | ring S = 0, (s(1..16),y(1..4)), dp; |
---|
106 | |
---|
107 | ideal I1 = s(13)+s(14)+s(15)+s(16)-1,3*s(9)+3*s(10)+3*s(11)+3*s(12)+s(13)+s(14)+s(15)+s(16)-4,3*s(5)+3*s(6)+3*s(7)+3*s(8)+s(13)+s(14)+s(15)+s(16)-4,s(4)+s(8)+s(12)+s(16)-1,s(3)+s(7)+s(11)+s(15)-1,s(2)+s(6)+s(10)+s(14)-1,s(1)+s(5)+s(9)+s(13)-1,s(16)^2-s(16),s(15)*s(16),s(14)*s(16),s(12)*s(16),2*s(8)*s(16)+s(12)*s(16),s(15)^2-s(15),s(14)*s(15),s(11)*s(15),2*s(7)*s(15)+s(11)*s(15),s(14)^2-s(14),s(11)*s(14)+s(12)*s(14)+s(10)*s(15)+s(12)*s(15)+s(10)*s(16)+s(11)*s(16)-s(10)-s(11)-s(12)-s(14)-s(15)-s(16)+1,s(10)*s(14),s(7)*s(14)+s(8)*s(14)+s(6)*s(15)+s(8)*s(15)+s(6)*s(16)+s(7)*s(16)-s(6)-s(7)-s(8)-s(14)-s(15)-s(16)+1; |
---|
108 | ideal I2 = 2*s(6)*s(14)+s(10)*s(14),s(12)^2-s(12),s(11)*s(12)+s(15)*s(16),s(10)*s(12)+s(14)*s(16),s(8)*s(12)+s(8)*s(16)+s(12)*s(16),s(11)^2-s(11),s(10)*s(11)+s(14)*s(15),s(8)*s(11)+s(7)*s(12)+s(8)*s(15)+s(12)*s(15)+s(7)*s(16)+s(11)*s(16)-s(7)-s(8)-s(11)-s(12)-s(15)-s(16)+1,s(7)*s(11)+s(7)*s(15)+s(11)*s(15),s(10)^2-s(10),s(8)*s(10)+s(6)*s(12)+s(8)*s(14)+s(12)*s(14)+s(6)*s(16)+s(10)*s(16)-s(6)-s(8)-s(10)-s(12)-s(14)-s(16)+1,s(7)*s(10)+s(6)*s(11)+s(7)*s(14)+s(11)*s(14)+s(6)*s(15)+s(10)*s(15)-s(6)-s(7)-s(10)-s(11)-s(14)-s(15)+1,s(6)*s(10)+s(6)*s(14)+s(10)*s(14),s(8)^2-s(8),2*s(7)*s(8)+s(8)*s(11)+s(7)*s(12)+2*s(11)*s(12)+s(8)*s(15)+s(12)*s(15)+s(7)*s(16)+s(11)*s(16)+2*s(15)*s(16)-s(7)-s(8)-s(11)-s(12)-s(15)-s(16)+1; |
---|
109 | ideal I3 = 2*s(6)*s(8)+s(8)*s(10)+s(6)*s(12)+2*s(10)*s(12)+s(8)*s(14)+s(12)*s(14)+s(6)*s(16)+s(10)*s(16)+2*s(14)*s(16)-s(6)-s(8)-s(10)-s(12)-s(14)-s(16)+1,s(7)^2-s(7),2*s(6)*s(7)+s(7)*s(10)+s(6)*s(11)+2*s(10)*s(11)+s(7)*s(14)+s(11)*s(14)+s(6)*s(15)+s(10)*s(15)+2*s(14)*s(15)-s(6)-s(7)-s(10)-s(11)-s(14)-s(15)+1,s(6)^2-s(6),s(6)*s(12)*s(15)+s(6)*s(11)*s(16)-s(6)*s(11)-s(6)*s(12)+s(7)*s(14)+s(8)*s(14)+s(8)*s(15)+s(7)*s(16)-s(7)-s(8)-s(14)-s(15)-s(16)+1; |
---|
110 | ideal G = I1,I2,I3; |
---|
111 | |
---|
112 | ideal action = y(1)*s(1)+y(2)*s(2)+y(3)*s(3)+y(4)*s(4),y(1)*s(5)+y(2)*s(6)+y(3)*s(7)+y(4)*s(8), y(1)*s(9)+y(2)*s(10)+y(3)*s(11)+y(4)*s(12),y(1)*s(13)+y(2)*s(14)+y(3)*s(15)+y(4)*s(16); |
---|
113 | |
---|
114 | def T = InvariantRing(G,action); |
---|
115 | setring T; |
---|
116 | invars; |
---|
117 | groupid; |
---|
118 | |
---|
119 | kill S; |
---|
120 | kill T; |
---|
121 | |
---|
122 | |
---|
123 | |
---|
124 | // end |
---|
125 | |
---|
126 | tst_status(1);$ |
---|