source: git/Tst/Old/palg.tst @ 886b0da

spielwiese
Last change on this file since 886b0da was 886b0da, checked in by Hans Schönemann <hannes@…>, 15 years ago
*hannes/gmg: elim.lib:elim, select, nselect, select1 git-svn-id: file:///usr/local/Singular/svn/trunk@11099 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 8.8 KB
Line 
1LIB "elim.lib";
2ring T=(5,a),(x,y,z,y(1),y(2),y(3)),(dp(3),dp(3));
3minpoly=a2+2;
4matrix M[24][95]=
5(1),
60,
70,
80,
90,
100,
110,
120,
130,
140,
150,
160,
170,
180,
190,
200,
210,
220,
230,
240,
250,
260,
270,
28(-1)*x^2+(-1)*y^2+y(1),
290,
300,
310,
320,
330,
340,
350,
360,
370,
380,
390,
400,
410,
420,
430,
440,
450,
460,
470,
480,
490,
500,
510,
52(-1)*z^2+y(2),
530,
540,
550,
560,
570,
580,
590,
600,
610,
620,
630,
640,
650,
660,
670,
680,
690,
700,
710,
720,
730,
740,
750,
76(-1)*x^6+y^6+y(3),
770,
780,
790,
800,
810,
820,
830,
840,
850,
860,
870,
880,
890,
900,
910,
920,
930,
940,
950,
960,
970,
980,
990,
1000,
101x+(-2*a)*y,
102(2*a)*x,
103(2)*y^2,
1040,
1050,
106(-2)*y*z,
107(-1)*y^2,
1080,
1090,
1100,
1110,
1120,
1130,
114z,
115(2*a)*x*z+(-1)*y*z,
116(-1*a)*x*z+y*z,
1170,
1180,
1190,
120(-1)*y^2*z,
1210,
1220,
1230,
124(-1)*x^2+(-1)*y^2+y(1),
1250,
1260,
1270,
1280,
1290,
1300,
1310,
1320,
1330,
1340,
1350,
1360,
1370,
1380,
1390,
1400,
1410,
1420,
1430,
1440,
1450,
1460,
1470,
148(-1)*z^2+y(2),
1490,
1500,
1510,
1520,
1530,
1540,
1550,
1560,
1570,
1580,
1590,
1600,
1610,
1620,
1630,
1640,
1650,
1660,
1670,
1680,
1690,
1700,
1710,
172(-1)*x^6+y^6+y(3),
1730,
1740,
1750,
1760,
1770,
1780,
1790,
1800,
1810,
1820,
1830,
1840,
1850,
1860,
1870,
1880,
1890,
1900,
1910,
1920,
1930,
1940,
1950,
1960,
197(2)*x,
1980,
1990,
200z,
201(-1*a)*y*z,
202(1*a)*y^2,
2030,
2040,
2050,
2060,
2070,
2080,
2090,
2100,
2110,
2120,
2130,
2140,
2150,
2160,
2170,
2180,
2190,
220(-1)*x^2+(-1)*y^2+y(1),
2210,
2220,
2230,
2240,
2250,
2260,
2270,
2280,
2290,
2300,
2310,
2320,
2330,
2340,
2350,
2360,
2370,
2380,
2390,
2400,
2410,
2420,
2430,
244(-1)*z^2+y(2),
2450,
2460,
2470,
2480,
2490,
2500,
2510,
2520,
2530,
2540,
2550,
2560,
2570,
2580,
2590,
2600,
2610,
2620,
2630,
2640,
2650,
2660,
2670,
268(-1)*x^6+y^6+y(3),
2690,
2700,
2710,
2720,
2730,
2740,
2750,
2760,
2770,
2780,
2790,
2800,
2810,
2820,
2830,
2840,
2850,
2860,
2870,
2880,
2890,
2900,
2910,
2920,
2930,
2940,
295(-1)*y,
2960,
2970,
2980,
2990,
3000,
3010,
3020,
3030,
304x,
3050,
3060,
3070,
3080,
3090,
3100,
3110,
3120,
3130,
3140,
3150,
316(-1)*x^2+(-1)*y^2+y(1),
3170,
3180,
3190,
3200,
3210,
3220,
3230,
3240,
3250,
3260,
3270,
3280,
3290,
3300,
3310,
3320,
3330,
3340,
3350,
3360,
3370,
3380,
3390,
340(-1)*z^2+y(2),
3410,
3420,
3430,
3440,
3450,
3460,
3470,
3480,
3490,
3500,
3510,
3520,
3530,
3540,
3550,
3560,
3570,
3580,
3590,
3600,
3610,
3620,
3630,
364(-1)*x^6+y^6+y(3),
3650,
3660,
3670,
3680,
3690,
3700,
3710,
3720,
3730,
3740,
3750,
3760,
3770,
3780,
3790,
3800,
3810,
3820,
3830,
3840,
3850,
3860,
3870,
3880,
3890,
390(-1),
391(-2*a)*y,
3920,
393(-2*a)*y^2,
3940,
395(-2)*y^3,
3960,
3970,
3980,
3990,
400(-1*a)*y,
401(-1)*x+(-1*a)*y,
402(2*a)*x*y+(-2)*y^2,
4030,
4040,
405(2)*x*y+(-2*a)*y^2,
406(2)*x*y^2+(1*a)*y^3,
4070,
4080,
4090,
4100,
4110,
412(-1)*x^2+(-1)*y^2+y(1),
4130,
4140,
4150,
4160,
4170,
4180,
4190,
4200,
4210,
4220,
4230,
4240,
4250,
4260,
4270,
4280,
4290,
4300,
4310,
4320,
4330,
4340,
4350,
436(-1)*z^2+y(2),
4370,
4380,
4390,
4400,
4410,
4420,
4430,
4440,
4450,
4460,
4470,
4480,
4490,
4500,
4510,
4520,
4530,
4540,
4550,
4560,
4570,
4580,
4590,
460(-1)*x^6+y^6+y(3),
4610,
4620,
4630,
4640,
4650,
4660,
4670,
4680,
4690,
4700,
4710,
4720,
4730,
4740,
4750,
4760,
4770,
4780,
4790,
4800,
481(-1),
482(-1*a),
483x+(-1*a)*y,
484(1*a)*y^3,
4850,
4860,
487x+(1*a)*y,
488(-2)*x*z+(-1*a)*y*z,
489(-2)*x*y+(2*a)*y^2,
4900,
491(-2)*y^3,
4920,
4930,
4940,
4950,
4960,
4970,
498(-1)*x^2+(1*a)*x*y,
4990,
5000,
5010,
5020,
5030,
5040,
5050,
5060,
5070,
508(-1)*x^2+(-1)*y^2+y(1),
5090,
5100,
5110,
5120,
5130,
5140,
5150,
5160,
5170,
5180,
5190,
5200,
5210,
5220,
5230,
5240,
5250,
5260,
5270,
5280,
5290,
5300,
5310,
532(-1)*z^2+y(2),
5330,
5340,
5350,
5360,
5370,
5380,
5390,
5400,
5410,
5420,
5430,
5440,
5450,
5460,
5470,
5480,
5490,
5500,
5510,
5520,
5530,
5540,
5550,
556(-1)*x^6+y^6+y(3),
5570,
5580,
5590,
5600,
5610,
5620,
5630,
5640,
5650,
5660,
5670,
5680,
5690,
5700,
5710,
5720,
5730,
5740,
5750,
5760,
5770,
5780,
5790,
5800,
5810,
5820,
583(2)*y^2,
5840,
5850,
5860,
5870,
5880,
589(-1),
5900,
5910,
592(-2*a)*y^2,
5930,
5940,
5950,
596(-1*a)*x*y^2+(2)*y^3,
5970,
5980,
5990,
6000,
6010,
6020,
6030,
604(-1)*x^2+(-1)*y^2+y(1),
6050,
6060,
6070,
6080,
6090,
6100,
6110,
6120,
6130,
6140,
6150,
6160,
6170,
6180,
6190,
6200,
6210,
6220,
6230,
6240,
6250,
6260,
6270,
628(-1)*z^2+y(2),
6290,
6300,
6310,
6320,
6330,
6340,
6350,
6360,
6370,
6380,
6390,
6400,
6410,
6420,
6430,
6440,
6450,
6460,
6470,
6480,
6490,
6500,
6510,
652(-1)*x^6+y^6+y(3),
6530,
6540,
6550,
6560,
6570,
6580,
6590,
6600,
6610,
6620,
6630,
6640,
6650,
6660,
6670,
6680,
6690,
6700,
6710,
672(-2),
6730,
674(-1)*y^3,
6750,
6760,
6770,
678(2)*y*z,
679(2)*y^2,
6800,
6810,
6820,
6830,
6840,
6850,
6860,
6870,
6880,
6890,
6900,
6910,
6920,
6930,
6940,
6950,
6960,
6970,
6980,
6990,
700(-1)*x^2+(-1)*y^2+y(1),
7010,
7020,
7030,
7040,
7050,
7060,
7070,
7080,
7090,
7100,
7110,
7120,
7130,
7140,
7150,
7160,
7170,
7180,
7190,
7200,
7210,
7220,
7230,
724(-1)*z^2+y(2),
7250,
7260,
7270,
7280,
7290,
7300,
7310,
7320,
7330,
7340,
7350,
7360,
7370,
7380,
7390,
7400,
7410,
7420,
7430,
7440,
7450,
7460,
7470,
748(-1)*x^6+y^6+y(3),
7490,
7500,
7510,
7520,
7530,
7540,
7550,
7560,
7570,
7580,
7590,
7600,
7610,
7620,
7630,
7640,
7650,
7660,
7670,
7680,
7690,
7700,
771(1*a),
7720,
773(-2)*x+(-2*a)*y,
7740,
775y^2,
7760,
777(2*a)*y^3,
7780,
7790,
7800,
7810,
7820,
7830,
784(1*a)*y^3,
7850,
7860,
787(-1)*x*y^3+(-2*a)*y^4,
7880,
7890,
7900,
7910,
7920,
7930,
7940,
7950,
796(-1)*x^2+(-1)*y^2+y(1),
7970,
7980,
7990,
8000,
8010,
8020,
8030,
8040,
8050,
8060,
8070,
8080,
8090,
8100,
8110,
8120,
8130,
8140,
8150,
8160,
8170,
8180,
8190,
820(-1)*z^2+y(2),
8210,
8220,
8230,
8240,
8250,
8260,
8270,
8280,
8290,
8300,
8310,
8320,
8330,
8340,
8350,
8360,
8370,
8380,
8390,
8400,
8410,
8420,
8430,
844(-1)*x^6+y^6+y(3),
8450,
8460,
8470,
8480,
8490,
8500,
8510,
8520,
8530,
8540,
8550,
8560,
8570,
8580,
8590,
8600,
8610,
8620,
8630,
864(2*a)*y^2,
8650,
8660,
867(-1*a),
868(2*a)*z,
8690,
8700,
871y^2,
8720,
8730,
8740,
8750,
8760,
8770,
8780,
8790,
8800,
8810,
8820,
8830,
8840,
8850,
8860,
8870,
8880,
8890,
8900,
8910,
892(-1)*x^2+(-1)*y^2+y(1),
8930,
8940,
8950,
8960,
8970,
8980,
8990,
9000,
9010,
9020,
9030,
9040,
9050,
9060,
9070,
9080,
9090,
9100,
9110,
9120,
9130,
9140,
9150,
916(-1)*z^2+y(2),
9170,
9180,
9190,
9200,
9210,
9220,
9230,
9240,
9250,
9260,
9270,
9280,
9290,
9300,
9310,
9320,
9330,
9340,
9350,
9360,
9370,
9380,
9390,
940(-1)*x^6+y^6+y(3),
9410,
9420,
9430,
9440,
9450,
9460,
9470,
9480,
9490,
9500,
9510,
9520,
9530,
9540,
9550,
9560,
9570,
9580,
9590,
9600,
961(2),
9620,
9630,
9640,
965(-1*a)*y^2,
9660,
9670,
9680,
9690,
970(-1),
9710,
972(2)*x+(1*a)*y,
9730,
974(2*a)*x*y^2+(2)*y^3,
975(-1*a)*x+(2)*y,
976(-1*a)*x*y+(-2)*y^2,
9770,
9780,
9790,
9800,
9810,
9820,
9830,
9840,
9850,
9860,
9870,
988(-1)*x^2+(-1)*y^2+y(1),
9890,
9900,
9910,
9920,
9930,
9940,
9950,
9960,
9970,
9980,
9990,
10000,
10010,
10020,
10030,
10040,
10050,
10060,
10070,
10080,
10090,
10100,
10110,
1012(-1)*z^2+y(2),
10130,
10140,
10150,
10160,
10170,
10180,
10190,
10200,
10210,
10220,
10230,
10240,
10250,
10260,
10270,
10280,
10290,
10300,
10310,
10320,
10330,
10340,
10350,
1036(-1)*x^6+y^6+y(3),
10370,
10380,
10390,
10400,
10410,
10420,
10430,
10440,
10450,
10460,
10470,
10480,
10490,
10500,
10510,
10520,
1053(-2),
1054y^2,
10550,
10560,
1057(1),
1058(-2)*z,
10590,
10600,
1061(-1*a)*y^2,
10620,
1063y^3,
10640,
10650,
10660,
10670,
10680,
10690,
10700,
10710,
10720,
10730,
10740,
10750,
10760,
10770,
10780,
10790,
10800,
10810,
10820,
10830,
1084(-1)*x^2+(-1)*y^2+y(1),
10850,
10860,
10870,
10880,
10890,
10900,
10910,
10920,
10930,
10940,
10950,
10960,
10970,
10980,
10990,
11000,
11010,
11020,
11030,
11040,
11050,
11060,
11070,
1108(-1)*z^2+y(2),
11090,
11100,
11110,
11120,
11130,
11140,
11150,
11160,
11170,
11180,
11190,
11200,
11210,
11220,
11230,
11240,
11250,
11260,
11270,
11280,
11290,
11300,
11310,
1132(-1)*x^6+y^6+y(3),
11330,
11340,
11350,
11360,
11370,
11380,
11390,
11400,
11410,
11420,
11430,
11440,
11450,
11460,
11470,
11480,
11490,
11500,
11510,
11520,
1153(2*a),
11540,
1155(2)*y,
11560,
1157(-1*a)*y^2,
11580,
11590,
11600,
11610,
11620,
11630,
1164(2*a)*y^2,
1165(-1*a),
11660,
1167(-2)*x*y^2+(1*a)*y^3,
11680,
11690,
11700,
11710,
11720,
11730,
11740,
11750,
11760,
11770,
11780,
11790,
1180(-1)*x^2+(-1)*y^2+y(1),
11810,
11820,
11830,
11840,
11850,
11860,
11870,
11880,
11890,
11900,
11910,
11920,
11930,
11940,
11950,
11960,
11970,
11980,
11990,
12000,
12010,
12020,
12030,
1204(-1)*z^2+y(2),
12050,
12060,
12070,
12080,
12090,
12100,
12110,
12120,
12130,
12140,
12150,
12160,
12170,
12180,
12190,
12200,
12210,
12220,
12230,
12240,
12250,
12260,
12270,
1228(-1)*x^6+y^6+y(3),
12290,
12300,
12310,
12320,
12330,
12340,
12350,
12360,
12370,
12380,
12390,
12400,
12410,
12420,
12430,
1244x+(1*a)*y,
12450,
12460,
12470,
12480,
1249(-1*a),
12500,
1251(2)*y,
12520,
1253(2*a)*x^2+(-1)*x*y+(-1*a)*y^2,
12540,
12550,
12560,
12570,
1258(-2),
12590,
12600,
12610,
12620,
12630,
12640,
12650,
12660,
12670,
12680,
12690,
12700,
12710,
12720,
12730,
12740,
12750,
1276(-1)*x^2+(-1)*y^2+y(1),
12770,
12780,
12790,
12800,
12810,
12820,
12830,
12840,
12850,
12860,
12870,
12880,
12890,
12900,
12910,
12920,
12930,
12940,
12950,
12960,
12970,
12980,
12990,
1300(-1)*z^2+y(2),
13010,
13020,
13030,
13040,
13050,
13060,
13070,
13080,
13090,
13100,
13110,
13120,
13130,
13140,
13150,
13160,
13170,
13180,
13190,
13200,
13210,
13220,
13230,
1324(-1)*x^6+y^6+y(3),
13250,
13260,
13270,
13280,
13290,
13300,
13310,
13320,
13330,
13340,
13350,
13360,
13370,
13380,
13390,
13400,
13410,
13420,
1343(-2),
13440,
13450,
13460,
1347(-2)*y^2,
13480,
13490,
13500,
13510,
1352(2*a),
13530,
13540,
13550,
1356(1*a)*x+(-2)*y,
13570,
13580,
13590,
13600,
13610,
13620,
13630,
13640,
13650,
13660,
13670,
13680,
13690,
13700,
13710,
1372(-1)*x^2+(-1)*y^2+y(1),
13730,
13740,
13750,
13760,
13770,
13780,
13790,
13800,
13810,
13820,
13830,
13840,
13850,
13860,
13870,
13880,
13890,
13900,
13910,
13920,
13930,
13940,
13950,
1396(-1)*z^2+y(2),
13970,
13980,
13990,
14000,
14010,
14020,
14030,
14040,
14050,
14060,
14070,
14080,
14090,
14100,
14110,
14120,
14130,
14140,
14150,
14160,
14170,
14180,
14190,
1420(-1)*x^6+y^6+y(3),
14210,
14220,
14230,
14240,
14250,
14260,
14270,
14280,
14290,
14300,
14310,
14320,
14330,
1434y,
14350,
14360,
14370,
14380,
1439(-2),
14400,
14410,
14420,
1443(-2)*y^2,
14440,
14450,
14460,
14470,
14480,
14490,
14500,
14510,
14520,
14530,
14540,
14550,
14560,
14570,
14580,
14590,
14600,
14610,
14620,
14630,
14640,
14650,
14660,
14670,
1468(-1)*x^2+(-1)*y^2+y(1),
14690,
14700,
14710,
14720,
14730,
14740,
14750,
14760,
14770,
14780,
14790,
14800,
14810,
14820,
14830,
14840,
14850,
14860,
14870,
14880,
14890,
14900,
14910,
1492(-1)*z^2+y(2),
14930,
14940,
14950,
14960,
14970,
14980,
14990,
15000,
15010,
15020,
15030,
15040,
15050,
15060,
15070,
15080,
15090,
15100,
15110,
15120,
15130,
15140,
15150,
1516(-1)*x^6+y^6+y(3),
15170,
15180,
15190,
15200,
15210,
15220,
15230,
15240,
15250,
15260,
15270,
15280,
15290,
15300,
15310,
15320,
15330,
15340,
1535(-1),
15360,
1537(-2*a)*y,
15380,
15390,
15400,
15410,
15420,
15430,
1544(-1*a)*y,
15450,
15460,
1547x*y+(2*a)*y^2,
15480,
15490,
15500,
15510,
15520,
15530,
15540,
15550,
15560,
15570,
15580,
15590,
15600,
15610,
15620,
15630,
1564(-1)*x^2+(-1)*y^2+y(1),
15650,
15660,
15670,
15680,
15690,
15700,
15710,
15720,
15730,
15740,
15750,
15760,
15770,
15780,
15790,
15800,
15810,
15820,
15830,
15840,
15850,
15860,
15870,
1588(-1)*z^2+y(2),
15890,
15900,
15910,
15920,
15930,
15940,
15950,
15960,
15970,
15980,
15990,
16000,
16010,
16020,
16030,
16040,
16050,
16060,
16070,
16080,
16090,
16100,
16110,
1612(-1)*x^6+y^6+y(3),
16130,
16140,
16150,
16160,
16170,
16180,
16190,
16200,
16210,
16220,
16230,
1624(-2*a),
16250,
16260,
16270,
16280,
16290,
16300,
1631(-1),
16320,
16330,
16340,
16350,
16360,
16370,
16380,
16390,
16400,
16410,
16420,
16430,
16440,
16450,
16460,
16470,
16480,
16490,
16500,
16510,
16520,
16530,
16540,
16550,
16560,
16570,
16580,
16590,
1660(-1)*x^2+(-1)*y^2+y(1),
16610,
16620,
16630,
16640,
16650,
16660,
16670,
16680,
16690,
16700,
16710,
16720,
16730,
16740,
16750,
16760,
16770,
16780,
16790,
16800,
16810,
16820,
16830,
1684(-1)*z^2+y(2),
16850,
16860,
16870,
16880,
16890,
16900,
16910,
16920,
16930,
16940,
16950,
16960,
16970,
16980,
16990,
17000,
17010,
17020,
17030,
17040,
17050,
17060,
17070,
1708(-1)*x^6+y^6+y(3),
17090,
17100,
17110,
17120,
17130,
17140,
17150,
17160,
17170,
17180,
17190,
17200,
17210,
17220,
17230,
17240,
1725(1*a),
17260,
17270,
17280,
17290,
17300,
17310,
17320,
17330,
1734(-2*a)*x+(-2)*y,
17350,
1736(-2),
1737(-1)*y^2,
17380,
17390,
17400,
17410,
17420,
17430,
17440,
17450,
17460,
17470,
17480,
17490,
17500,
17510,
17520,
17530,
17540,
17550,
1756(-1)*x^2+(-1)*y^2+y(1),
17570,
17580,
17590,
17600,
17610,
17620,
17630,
17640,
17650,
17660,
17670,
17680,
17690,
17700,
17710,
17720,
17730,
17740,
17750,
17760,
17770,
17780,
17790,
1780(-1)*z^2+y(2),
17810,
17820,
17830,
17840,
17850,
17860,
17870,
17880,
17890,
17900,
17910,
17920,
17930,
17940,
17950,
17960,
17970,
17980,
17990,
18000,
18010,
18020,
18030,
1804(-1)*x^6+y^6+y(3),
18050,
18060,
18070,
18080,
18090,
18100,
18110,
18120,
18130,
1814(-1),
18150,
18160,
18170,
18180,
18190,
18200,
1821(1*a),
18220,
1823(-1)*y,
18240,
18250,
18260,
18270,
18280,
18290,
18300,
18310,
18320,
18330,
18340,
18350,
18360,
18370,
18380,
18390,
18400,
18410,
18420,
18430,
18440,
18450,
18460,
18470,
18480,
18490,
18500,
18510,
1852(-1)*x^2+(-1)*y^2+y(1),
18530,
18540,
18550,
18560,
18570,
18580,
18590,
18600,
18610,
18620,
18630,
18640,
18650,
18660,
18670,
18680,
18690,
18700,
18710,
18720,
18730,
18740,
18750,
1876(-1)*z^2+y(2),
18770,
18780,
18790,
18800,
18810,
18820,
18830,
18840,
18850,
18860,
18870,
18880,
18890,
18900,
18910,
18920,
18930,
18940,
18950,
18960,
18970,
18980,
18990,
1900(-1)*x^6+y^6+y(3),
19010,
19020,
19030,
19040,
19050,
19060,
19070,
19080,
19090,
19100,
19110,
19120,
19130,
19140,
19150,
19160,
1917(1*a),
19180,
19190,
19200,
19210,
19220,
19230,
1924(-2*a),
19250,
19260,
1927(2)*x+(-1*a)*y,
19280,
19290,
19300,
19310,
19320,
19330,
19340,
19350,
19360,
19370,
19380,
19390,
19400,
19410,
19420,
19430,
19440,
19450,
19460,
19470,
1948(-1)*x^2+(-1)*y^2+y(1),
19490,
19500,
19510,
19520,
19530,
19540,
19550,
19560,
19570,
19580,
19590,
19600,
19610,
19620,
19630,
19640,
19650,
19660,
19670,
19680,
19690,
19700,
19710,
1972(-1)*z^2+y(2),
19730,
19740,
19750,
19760,
19770,
19780,
19790,
19800,
19810,
19820,
19830,
19840,
19850,
19860,
19870,
19880,
19890,
19900,
19910,
19920,
19930,
19940,
19950,
1996(-1)*x^6+y^6+y(3),
19970,
19980,
19990,
20000,
20010,
20020,
20030,
20040,
20050,
20060,
20070,
20080,
20090,
20100,
20110,
2012(2),
20130,
20140,
20150,
20160,
20170,
20180,
20190,
20200,
20210,
20220,
20230,
20240,
20250,
20260,
20270,
20280,
20290,
20300,
20310,
20320,
20330,
20340,
20350,
20360,
20370,
20380,
20390,
20400,
20410,
20420,
20430,
2044(-1)*x^2+(-1)*y^2+y(1),
20450,
20460,
20470,
20480,
20490,
20500,
20510,
20520,
20530,
20540,
20550,
20560,
20570,
20580,
20590,
20600,
20610,
20620,
20630,
20640,
20650,
20660,
20670,
2068(-1)*z^2+y(2),
20690,
20700,
20710,
20720,
20730,
20740,
20750,
20760,
20770,
20780,
20790,
20800,
20810,
20820,
20830,
20840,
20850,
20860,
20870,
20880,
20890,
20900,
20910,
2092(-1)*x^6+y^6+y(3),
20930,
20940,
20950,
20960,
20970,
20980,
20990,
21000,
21010,
21020,
21030,
21040,
21050,
21060,
21070,
2108(2),
21090,
21100,
21110,
21120,
21130,
21140,
21150,
21160,
21170,
21180,
21190,
21200,
21210,
21220,
21230,
21240,
21250,
21260,
21270,
21280,
21290,
21300,
21310,
21320,
21330,
21340,
21350,
21360,
21370,
21380,
21390,
2140(-1)*x^2+(-1)*y^2+y(1),
21410,
21420,
21430,
21440,
21450,
21460,
21470,
21480,
21490,
21500,
21510,
21520,
21530,
21540,
21550,
21560,
21570,
21580,
21590,
21600,
21610,
21620,
21630,
2164(-1)*z^2+y(2),
21650,
21660,
21670,
21680,
21690,
21700,
21710,
21720,
21730,
21740,
21750,
21760,
21770,
21780,
21790,
21800,
21810,
21820,
21830,
21840,
21850,
21860,
21870,
2188(-1)*x^6+y^6+y(3),
21890,
21900,
21910,
21920,
21930,
21940,
21950,
21960,
21970,
21980,
21990,
22000,
22010,
22020,
22030,
22040,
22050,
22060,
22070,
22080,
22090,
22100,
22110,
2212(1),
22130,
22140,
22150,
22160,
22170,
22180,
22190,
22200,
22210,
22220,
22230,
22240,
22250,
22260,
22270,
22280,
22290,
22300,
22310,
22320,
22330,
22340,
22350,
2236(-1)*x^2+(-1)*y^2+y(1),
22370,
22380,
22390,
22400,
22410,
22420,
22430,
22440,
22450,
22460,
22470,
22480,
22490,
22500,
22510,
22520,
22530,
22540,
22550,
22560,
22570,
22580,
22590,
2260(-1)*z^2+y(2),
22610,
22620,
22630,
22640,
22650,
22660,
22670,
22680,
22690,
22700,
22710,
22720,
22730,
22740,
22750,
22760,
22770,
22780,
22790,
22800,
22810,
22820,
22830,
2284(-1)*x^6+y^6+y(3)
2285;
2286matrix N=std(M);
2287N=elim(N,1..3);
2288N;
2289module(N);
2290
2291print(N);
2292LIB "tst.lib";tst_status(1);$
Note: See TracBrowser for help on using the repository browser.