source: git/Tst/Short/res_s.tst @ e1cda9

spielwiese
Last change on this file since e1cda9 was 7496bd, checked in by Hans Schönemann <hannes@…>, 15 years ago
*hannes: test bit git-svn-id: file:///usr/local/Singular/svn/trunk@11861 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 2.7 KB
Line 
1LIB "tst.lib";
2tst_init();
3option(prot);
4//option(notRegularity);
5//ring r=31991,(t,x,y,z,w),(c,ls);
6//ideal i=x2+y2yz,y2+z2zw,t2+x2xy,x3+y3+t3,xyz;
7//ideal ii=x3+yzw,y3+zwt,z3+wtx,w3+txy,t2+xy;
8//ideal iii=x3+yzw,y3+zwt,z3+wtx,w2+txy,t2+xy;
9//ideal tt=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2;
10//ideal T=std(tt);
11//timer = 1;
12//res(T,0,t1);
13//sres(T,0,t2);
14//mres(T,0,t3);
15//--------------------------------------------------------------
16ring an=32003,(w,x,y,z),(dp,C);
17ideal i=
181w2xy+1w2xz+1w2yz+1wxyz+1x2yz+1xy2z+1xyz2,
191w4x+1w4z+1w3yz+1w2xyz+1wx2yz+1x2y2z+1xy2z2,
201w6+1w5z+1w4xz+1w3xyz+1w2xy2z+1wx2y2z+1x2y2z2;
21ideal j=std(i);
22list jres=sres(j,0);
23list jmin=minres(jres);
24print(betti(jmin),"betti");
25list jres1=mres(i,0);
26print(betti(jres1),"betti");
27list jres2=nres(i,0);
28list jmin2=minres(jres2);
29print(betti(jmin2),"betti");
30kill an;
31//--------------------------------------------------------------
32ring pa2=32003,(w,t,u,x,y,z),(dp,C);
33ideal i=
341w10t2u2-2w5tu2x6-2w5tu2y6+2w5tu2z6+1u2x12+2u2x6y6-2u2x6z6+1u2y12-2u2y6z6+1u2z12,
35-1w5t5u-1w5tux4-1w5tuy4-1w5tuz4+1t4ux6+1t4uy6-1t4uz6+1ux10+1ux6y4+1ux6z4
36+1ux4y6-1ux4z6+1uy10+1uy6z4-1uy4z6-1uz10,
371t8+2t4x4+2t4y4+2t4z4+1x8+2x4y4+2x4z4+1y8+2y4z4+1z8,
381w5t3u-1w5tux2-1w5tuy2+1w5tuz2-1t2ux6-1t2uy6+1t2uz6+1ux8+1ux6y2-1ux6z2
39+1ux2y6-1ux2z6+1uy8-1uy6z2-1uy2z6+1uz8,
40-1t6+1t4x2+1t4y2-1t4z2-1t2x4-1t2y4-1t2z4+1x6+1x4y2-1x4z2+1x2y4+1x2z4+1y6
41-1y4z2+1y2z4-1z6,
421t4-2t2x2-2t2y2+2t2z2+1x4+2x2y2-2x2z2+1y4-2y2z2+1z4;
43ideal j=std(i);
44list jres=sres(j,0);
45list jmin=minres(jres);
46print(betti(jmin),"betti");
47list jres1=mres(i,0);
48print(betti(jres1),"betti");
49list jres2=nres(i,0);
50list jmin2=minres(jres2);
51print(betti(jmin2),"betti");
52kill pa2;
53//--------------------------------------------------------------
54ring sw5=32003,(a,b,c,d,e,h),(dp,C);
55ideal i=
56-1ab-1b2-2de-2ch,
57-1ac-2bc-1e2-2dh,
58-1c2-1ad-2bd-2eh,
59-2cd-1ae-2be-1h2,
60-1d2-2ce-1ah-2bh;
61ideal j=std(i);
62list jres=sres(j,0);
63list jmin=minres(jres);
64print(betti(jmin),"betti");
65list jres1=mres(i,0);
66print(betti(jres1),"betti");
67list jres2=nres(i,0);
68list jmin2=minres(jres2);
69print(betti(jmin2),"betti");
70kill sw5;
71//--------------------------------------------------------------
72ring r=32003,(t,x,y,z,w),(dp,C);
73ideal i=
74x2w+y2z,
75y2x+z2w,
76t2w+x2y,
77x3+y3+t3;
78ideal j=std(i);
79list jres=sres(j,0);
80list jmin=minres(jres);
81print(betti(jmin),"betti");
82list jres1=mres(i,0);
83print(betti(jres1),"betti");
84list jres2=nres(i,0);
85list jmin2=minres(jres2);
86print(betti(jmin2),"betti");
87kill r;
88//--------------------------------------------------------------
89ring r1=32003,(a,b,x,y,z),ls;
90module m1 = gen(1)+x2z3*gen(2),
91x4yz3*gen(2);
92resolution rr = sres(std(m1),0);
93rr;
94list(rr);
95//--------------------------------------------------------------
96example res;
97
98
99tst_status(1);$
100
Note: See TracBrowser for help on using the repository browser.