source: git/Tst/Long/sres_l.tst @ e38016b

fieker-DuValspielwiese
Last change on this file since e38016b 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: 3.0 KB
RevLine 
[918e9a4]1LIB "tst.lib";
2tst_init();
3//option(prot);
4//test(28);
5"========= Alex4";
6ring h4=32003,(t,x,y,z,w),(dp,c);
7ideal j=
84t4z3y+6z4x3t5+5x5z7,
95t6z3y3x+5x2z4t3y7+4x5t5y,
106z7t5y+6z3y2t4+2t8z6;
11ideal i=homog(j,w);
12timer=1;
13i=std(i);
14list I=sres(i,0);
15betti(I);
16kill h4;
17
18"======== standard";
19ring rh2=32003,(w,x,y,z),(dp,c);
20poly p1 = 1x3y2+21328x5y+10667x2y4+21328x2yz3+10666xy6+10667y9;
21poly p2 = 1x2y2z2+3z8;
22poly p3 = 5x4y2+4xy5+2x2y2z3+1y7+11x10;
23ideal j= p1,p2,p3;
24ideal i=homog(j,w);
25timer=1;
26i=std(i);
27list I=sres(i,0);
28betti(I);
29kill rh2;
30
31"== f(11,10,3,1)";
32ring rh3=32003,(w,x,y,z),(dp,c);
33int a =11;
34int b =10;
35int c =3;
36int t =1;
37poly f= x^a+y^b+z^(3*c)+x^(c+2)*y^(c-1)+x^(c-1)*y^(c-1)*z3+x^(c-2)*y^c*(y2+t*x)^2;
38ideal j= jacob(f);
39ideal i=homog(j,w);
40timer=1;
41i=std(i);
42list I=sres(i,0);
43betti(I);
44kill b,c,t,a,rh3;
45
46"======== h(6)";
47ring rh4=32003,(w,x,y,z),(dp,c);
48int a=6;
49poly f =xyz*(x+y+z)^2 +(x+y+z)^3 +x^a+y^a+z^a;
50ideal j= jacob(f);
51ideal i=homog(j,w);
52timer=1;
53i=std(i);
54list I=sres(i,0);
55betti(I);
56kill a,rh4;
57
58"======== h(7)";
59ring rh5=32003,(w,x,y,z),(dp,c);
60int a =7;
61poly f=xyz*(x+y+z)^2 +(x+y+z)^3 +x^a+y^a+z^a;
62ideal j= jacob(f);
63ideal i=homog(j,w);
64timer=1;
65i=std(i);
66list I=sres(i,0);
67betti(I);
68kill a,rh5;
69
70"======== g(6,8,10,5,5;0)";
71ring rh7=32003,(w,x,y,z),(dp,c);
72int a= 6;
73int b= 8;
74int c =10;
75int alpha=5;
76int beta= 5;
77int t=0;
78poly f =x^a+y^b+z^c+x^alpha*y^(beta-5)+x^(alpha-2)*y^(beta-3)+x^(alpha-3)*y^(beta-4)*z^2+x^(alpha-4)*y^(beta-4)*(y^2+t*x)^2;
79ideal j =jacob(f);
80ideal i=homog(j,w);
81timer=1;
82i=std(i);
83list I=sres(i,0);
84betti(I);
85kill a, b, c, alpha ,beta, t, rh7;
86
87"======== (max5)^2";
88ring so2=32003,(h,w,x,y,z,t),(dp,c);
89ideal in =wx2y2z2t2+w,w2xy2z2t2+x,w2x2yz2t2+y,w2x2y2zt2+z,w2x2y2z2t+t;
90ideal i = homog(in,h)^2;
91timer=1;
92i=std(i);
93list I=sres(i,0);
94betti(I);
95kill so2;
96
97"==randomSyz1";
98ring ra=32003,(a,b,c,d,e,f),(dp,c);
99ideal i=
1006739a3+1039a2b-7486ab2+3718b3-11069a2c+6473abc-5891b2c-12382ac2+1623bc2
101+4363c3-5151a2d+15452abd+13118b2d-7061acd+4295bcd+204c2d-12178ad2+7928bd2+14cd2
102+5562d3-6285a2e-10789abe+1785b2e+687ace+11524bce+12733c2e+8483ade-11294bde-3594cde
103+12201d2e-7682ae2+3312be2-268ce2-13575de2+5144e3,
1044250a3-5177a2b+13404ab2+426b3+11302a2c-15885abc+12078b2c-1036ac2-1799bc2
105-7475c3-9907a2d-6162abd+10416b2d+2042acd+15283bcd+11998c2d+575ad2+719bd2-7042cd2
106+4028d3+8193a2e-9701abe-3251b2e+12458ace-10367bce+3348c2e+10191ade+13321bde
107+13623cde-5183d2e+9584ae2-10484be2-6235ce2-15629de2+2327e3,
1086550a3+4965a2b+12096ab2-12270b3-14859a2c+2541abc-8313b2c-13376ac2-2239bc2
109+2634c3-1804a2d-9400abd-15441b2d+4784acd+7087bcd-10294c2d+8698ad2-6351bd2-387cd2
110-11534d3-13666a2e+14767abe+5618b2e+8275ace+675bce+11539c2e-3124ade-14915bde
111+15670cde-7223d2e-1840ae2-14459be2+895ce2-12702de2+2068e3,
11215942a3+4739a2b-5019ab2-6691b3+600a2c-1561abc+14937b2c-14659ac2-8392bc2
113+12410c3+3327a2d-14426abd+7985b2d-10298acd-2630bcd-4528c2d-12983ad2+8567bd2
114-14036cd2+10885d3-7763a2e-3366abe-3579b2e+2908ace-5392bce-336c2e+10534ade-11990bde
115+12114cde-4105d2e+14357ae2-3578be2-5592ce2+13057de2+10409e3;
116timer=1;
117i=std(i);
118list I=sres(i,0);
119betti(I);
120kill ra;
[46976a6]121tst_status(1);$
Note: See TracBrowser for help on using the repository browser.