source: git/Tst/Old/longalg.tst @ e706ff

spielwiese
Last change on this file since e706ff was 46976a6, checked in by Olaf Bachmann <obachman@…>, 26 years ago
* added status check to regress.cmd * added tst_status(1); call to each tst file, just before quit git-svn-id: file:///usr/local/Singular/svn/trunk@2271 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 2.4 KB
Line 
1ring r=(32003,a),x,dp;
2poly f=a;
3f;
4f;
5f+f;
6f=1;
7f;
8f-f;
9f=a;
10f+1-1;
11f=a^2+1;
12f;
13f;
14poly g=f;
15g;
16f=a2-a^2+3a4;
17f;
18r;
19minpoly=a^2+1;
20r;
21f;
22f=f+0;
23f;
24f=f+1-1;
25f;
26ring rr=(0,a),x,dp;
27poly f=a;
28f;
29f;
30f+f;
31f=1;
32f;
33f=a^2+1;
34f;
35f;
36poly g=f;
37g;
38f=a2-a^2+3a4;
39f;
40rr;
41minpoly=a^2-1;
42rr;
43f;
44f=f+0;
45f;
46f=f+1-1;
47f;
48kill rr;
49ring rr=(0,a,b),x,dp;
50poly f=a2b;
51f;
52f=b2a;
53f;
54f=a2b2-b2a2+a^2*b^2-a^2*b2;
55f;
56kill rr;
57ring r=(32003,a),x,dp;
58short=1;
59poly f=a;
60f;
61f;
62f+f;
63f=1;
64f;
65f-f;
66f=a;
67f+1-1;
68f=a^2+1;
69f;
70f;
71poly g=f;
72g;
73f=a2-a^2+3a4;
74f;
75r;
76minpoly=a^2-1;
77r;
78f;
79f=f+0;
80f;
81f=f+1-1;
82f;
83ring rr=(0,a),x,dp;
84short=1;
85poly f=a;
86f;
87f;
88f+f;
89f=1;
90f;
91f=a^2+1;
92f;
93f;
94poly g=f;
95g;
96f=a2-a^2+3a4;
97f;
98rr;
99minpoly=a^2-1;
100rr;
101f;
102f=f+0;
103f;
104f=f+1-1;
105f;
106kill rr;
107ring rr=(0,a,b),x,dp;
108short=1;
109poly f=a2b;
110f;
111f=b2a;
112f;
113f=a2b2-b2a2+a^2*b^2-a^2*b2;
114f;
115
116kill rr,r;
117//-----------------------------------------------------------
118ring s1=(0,a),(x,y,z,w),dp;
119ideal i0=(a2-1)*x2-z10-z20,(a+1)*xy3-z10-z30,y6-(a+1)*xy3w40;
120ideal i = std(i0);
121i;
122
123ring s2=(0,a),(x,y,z,w),dp;
124minpoly=8a4+1;
125ideal j0=(a2-1)*x2-z10-z20,(a+1)*xy3-z10-z30,y6-(a+1)*xy3w40;
126ideal j = std(j0);
127j;
128
129ring s3=(32003,a),(x,y,z,w),dp;
130ideal k0=(a2-1)*x2-z10-z20,(a+1)*xy3-z10-z30,y6-(a+1)*xy3w40;
131ideal k = std(k0);
132k;
133
134ring s4=(32003,a),(x,y,z,w),dp;
135minpoly=8a4+1;
136ideal l0=(a2-1)*x2-z10-z20,(a+1)*xy3-z10-z30,y6-(a+1)*xy3w40;
137ideal l = std(l0);
138l;
139
140kill s1,s2,s3,s4;
141
142ring r1=(0,a),(x,y,z),dp;
143minpoly=4a4+1;
144poly f0=3a2-3;
145poly g0=2a+2;
146poly h=4a4+3a3+2a2+a;
147poly f=f0*h;
148poly g=g0*h;
149poly f1=f/g;
150poly g1=g/f;
151f;
152g;
153f1;
154g1;
155(3/2*a-3/2)*(-8/15*a^3-8/15*a^2-8/15*a-8/15);
156newline;
157
158ring r2=(0,a),(x,y,z),dp;
159poly f0=3a2-3;
160poly g0=2a+2;
161poly h=4a4+3a3+2a2+a;
162poly f=f0*h;
163poly g=g0*h;
164poly f1=f/g;
165poly g1=g/f;
166f;
167g;
168f1;
169g1;
170g/(0*a);
171newline;
172
173ring r3=(32003,a),(x,y,z),dp;
174poly f0=3a2-3;
175poly g0=2a+2;
176poly h=4a4+3a3+2a2+a;
177poly f=f0*h;
178poly g=g0*h;
179poly f1=f/g;
180poly g1=g/f;
181f;
182g;
183f1;
184g1;
185newline;
186
187ring r4=(32003,a),(x,y,z),dp;
188minpoly=4a4+1;
189poly f0=3a2-3;
190poly g0=2a+2;
191poly h=4a4+3a3+2a2+a;
192poly f=f0*h;
193poly g=g0*h;
194poly f1=f/g;
195poly g1=g/f;
196f;
197g;
198f1;
199g1;
200(-16000*a+16000)*(2133*a^3+2133*a^2+2133*a+2133);
201newline;
202
203kill r1,r2,r3,r4;
204
205ring w2=(0,i),(u,v),dp;
206poly g=(i-1/3)^10;
207ring w1=(0,i),(x,y),dp;
208minpoly=i2+1;
209poly f=(i-1/3)^10;
210map q=w2,x,y;
211poly h=q(g);
212h=h*(1);
213f;
214h;
215h-f;
216poly f1=(6i+8)^10;
217poly f2=(6i-8)^10;
218f2*f1;
219newline;
220
221kill w2;
222LIB "tst.lib";tst_status(1);$
Note: See TracBrowser for help on using the repository browser.