source: git/Tst/Long/hres_l.tst @ 19609c

spielwiese
Last change on this file since 19609c was 5892132, checked in by Olaf Bachmann <obachman@…>, 24 years ago
* added hres_l tests git-svn-id: file:///usr/local/Singular/svn/trunk@3738 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 1.5 KB
Line 
1LIB "tst.lib";
2tst_init();
3tst_ignore("CVS ID $Id: hres_l.tst,v 1.2 1998/07/01 10:10:49 obachman
4Exp $");
5option(prot);
6ring r=32003,(y,t,x,z,w),dp;
7ideal i=6*t^5*x^3*z^4+5*x^5*z^7+4*t^4*y*z^3*w^4,
85*t^3*x^2*y^7*z^4+5*t^6*x*y^3*z^3*w^3+4*t^5*x^5*y*w^5,
92*t^8*z^6+6*t^5*y*z^7*w+6*t^4*y^2*z^3*w^5;
10resolution rs=hres(i,0);
11betti(rs);
12list I=rs;
13betti(I);
14minres(rs);
15list J=rs;
16betti(J);
17kill r;
18
19ring r=0,(y,t,x,z,w),dp;
20ideal i=6*t^5*x^3*z^4+5*x^5*z^7+4*t^4*y*z^3*w^4,
215*t^3*x^2*y^7*z^4+5*t^6*x*y^3*z^3*w^3+4*t^5*x^5*y*w^5,
222*t^8*z^6+6*t^5*y*z^7*w+6*t^4*y^2*z^3*w^5;
23resolution rs=hres(i,0);
24betti(rs);
25list I=rs;
26betti(I);
27minres(rs);
28list J=rs;
29betti(J);
30kill r;
31
32ring an=32003,(t,x,y,z,w),(dp,C); // too slow for char 0
33ideal i=
342t3x5y2z+t5x2yw3+2x2yw8,
353t6x2yz2+9t3y2zw5+2xy3z2w5,
36t3x5y2z2+tx2y3w6+2t5zw6;
37resolution rs=hres(i,0);
38betti(rs);
39list I=rs;
40betti(I);
41minres(rs);
42list J=rs;
43betti(J);
44kill an;
45
46ring h3=32003,(z,y,t,x,w),(dp,C);
47ideal i=
485*t^3*x^8*y^2*z+1*t^5*x^2*y*w^6+2*x^2*y*w^11+5*t*w^13,
497*x*y^6*z^2+4*t^6*x*w^2+9*t^3*y^2*z*w^3+6*x^2*y*w^6,
508*t*x^5*y^3+2*t^3*x^3*y^2*w+4*t^6*z*w^2+3*x*w^8;
51resolution rs=hres(i,0);
52betti(rs);
53list I=rs;
54betti(I);
55minres(rs);
56list J=rs;
57betti(J);
58kill h3;
59
60ring h3=0,(z,y,t,x,w),(dp,C);
61ideal i=
625*t^3*x^8*y^2*z+1*t^5*x^2*y*w^6+2*x^2*y*w^11+5*t*w^13,
637*x*y^6*z^2+4*t^6*x*w^2+9*t^3*y^2*z*w^3+6*x^2*y*w^6,
648*t*x^5*y^3+2*t^3*x^3*y^2*w+4*t^6*z*w^2+3*x*w^8;
65resolution rs=hres(i,0);
66betti(rs);
67list I=rs;
68betti(I);
69minres(rs);
70list J=rs;
71betti(J);
72kill h3;
73
74tst_status(1);$
Note: See TracBrowser for help on using the repository browser.