# source:git/Tst/Long/rinvar.tst@52ea3f

spielwiese
Last change on this file since 52ea3f was 52ea3f, checked in by Hans Schönemann <hannes@…>, 23 years ago
*hannes: zeroset, rinvar git-svn-id: file:///usr/local/Singular/svn/trunk@4864 2c84dea3-7e68-4137-9b89-c4e89433aadc
• Property mode set to `100644`
File size: 4.8 KB
Line
1// Test File for 'zeroset.lib"
2// rinvar.tst
3//
4// Implementation by : Thomas Bayer
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
19LIB "tst.lib";
20LIB "rinvar.lib";
21
22tst_init();
23tst_ignore("CVS ID \$Id: rinvar.tst,v 1.1 2000-12-11 16:07:30 Singular Exp \$");
24
25
26// example 1
27
28ring S = 0,(s(1..4), t(1..6)), dp;
29ideal G = s(1) - 1, s(2) - 2*s(3) - 3*s(4);
30ideal 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
32ideal inv = NullCone(G,action);
33inv;
34kill S;
35//tst_status();
36
37
38// example 2
39
40ring S = 0,(s(1..10), t(1..3)), dp;
41
42ideal 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);
43ideal G = G3, s(10)^3 - 1;
44ideal 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
46def T = InvariantRing(G,action);
47setring T;
48invars;
49groupid;
50
51kill S;
52kill T;
53//tst_status();
54
55
56// example 3
57
58ring S = 0,(s(1..4),x,y),dp;
59ideal action = s(1)*x+s(2)*y,s(3)*x+s(4)*y;
60ideal 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
62def T = InvariantRing(G,action);
63setring T;
64invars;
65groupid;
66
67kill S;
68kill T;
69//tst_status();
70
71// example 4
72
73ring S = 0,(s(1..3), t(1..4)), dp;
74ideal G = s(1)^4-1, s(2)^4-1, s(3)^4-1;
75ideal 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
77def T = InvariantRing(G,action);
78setring T;
79invars;
80groupid;
81
82kill S;
83kill T;
84//tst_status();
85
86
87// example 5
88
89ring S = (0,a), (s(1..4),t(1..2)), dp;
90
91ideal action = s(1)*t(1)+s(2)*t(2),s(3)*t(1)+s(4)*t(2);
92ideal 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
94def T = InvariantRing(G,action);
95setring T;
96invars;
97groupid;
98
99kill S;
100kill T;
101//tst_status();
102
103// example 6
104
105ring S = 0, (s(1..16),y(1..4)), dp;
106
107ideal 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;
108ideal 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;
109ideal 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;
110ideal G = I1,I2,I3;
111
112ideal 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
114def T = InvariantRing(G,action);
115setring T;
116invars;
117groupid;
118
119kill S;
120kill T;
121
122
123
124// end
125
126tst_status(1);\$
Note: See TracBrowser for help on using the repository browser.