source: git/Tst/Old/syzygies.tst @ d7d8ab3

spielwiese
Last change on this file since d7d8ab3 was d7d8ab3, checked in by Hans Schönemann <hannes@…>, 25 years ago
*hannes: OLD_MINOR git-svn-id: file:///usr/local/Singular/svn/trunk@3270 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 1.5 KB
Line 
1test(11);
2ring r=31991,(x,y,z,w),(c,dp);
3ideal regsec1=x2+x2y+x3,y2+y2z+y3,z2+z2w+z3,w2+w2x+w3;
4ideal regsec2=x2*(1+y+yz+yzw),y2*(1+z+zw+zwx),z2*(1+w+wx+wxy);
5ideal regsec3=x3+yz4+zw4,y3+z4w+w4x,z3+wx4+xy4,w3+x4y+y4z;
6module syz1=syz(regsec1);
7matrix m1[1][1]=matrix(regsec1);
8matrix s1[1][1]=matrix(syz1);
9m1*s1;
10module syz2=syz(regsec2);
11m1=matrix(regsec2);
12s1=matrix(syz2);
13m1*s1;
14module syz3=syz(regsec3);
15m1=matrix(regsec3);
16s1=matrix(syz3);
17m1*s1;
18syz1;
19syz2;
20syz3;
21kill r;
22ring r1=31991,(x,y,z,w),(c,ls);
23test(-11,17);
24ideal regsec4=x2+x2y+x3,y2+y2z+y3,z2+z2w+z3,w2+w2x+w3;
25ideal regsec5=x2*(1+y+yz+yzw),y2*(1+z+zw+zwx),z2*(1+w+wx+wxy);
26ideal regsec6=x3+yz4+zw4,y3+z4w+w4x,z3+wx4+xy4,w3+x4y+y4z;
27module syz4=syz(regsec4);
28matrix m1[1][1]=matrix(regsec4);
29matrix s1[1][1]=matrix(syz4);
30m1*s1;
31module syz5=syz(regsec5);
32m1=matrix(regsec5);
33s1=matrix(syz5);
34m1*s1;
35module syz6=syz(regsec6);
36m1=matrix(regsec6);
37s1=matrix(syz6);
38m1*s1;
39syz4;
40syz5;
41syz6;
42kill r1;
43ring r2=0,(t,x,y,z,w),(c,dp);
44test(-17);
45option(intStrategy);
46ideal regsec7=x2+x2y+x3,y2+y2z+y3,z2+z2w+z3,w2+w2x+w3;
47ideal regsec8=x2*(1+y+yz+yzw),y2*(1+z+zw+zwx),z2*(1+w+wx+wxy);
48ideal regsec9=x3+yz4+zw4,y3+z4w+w4x,z3+wx4+xy4,w3+x4y+y4z;
49module syz7=syz(homog(regsec7,t));
50matrix m1[1][1]=matrix(homog(regsec7,t));
51matrix s1[1][1]=matrix(syz7);
52m1*s1;
53module syz8=syz(homog(regsec8,t));
54m1=matrix(homog(regsec8,t));
55s1=matrix(syz8);
56m1*s1;
57module syz9=syz(homog(regsec9,t));
58m1=matrix(homog(regsec9,t));
59s1=matrix(syz9);
60m1*s1;
61syz7;
62syz8;
63syz9;
64LIB "tst.lib";tst_status(1);$
65
Note: See TracBrowser for help on using the repository browser.