source: git/Tst/New/hilblocinhom.tst @ c25b56c

spielwiese
Last change on this file since c25b56c was c25b56c, checked in by Adrian Popescu <adi_popescum@…>, 11 years ago
SB over rings with local ordering add: new tests
  • Property mode set to 100644
File size: 437 bytes
Line 
1LIB "tst.lib";
2tst_init();
3
4option(prot);
5ring R=0,(x,y,z),ds;
6ideal i= x3yz+x10,xy2z2,xyz3;
7ideal si=std(i);
8intvec v=hilb(si,1);
9ideal ss=std(i,v);
10for(int l=1;l<=size(si);l++)
11        {
12        if(si[l]!=ss[l])
13                {"false";}
14        }
15
16
17option(prot);
18ring R=0,(x,y,z),ls;
19ideal i= x3yz+x100,xy2z2+x13y66,xyz3+z10;
20ideal si=std(i);
21intvec v=hilb(si,1);
22ideal ss=std(i,v);
23for(int l=1;l<=size(si);l++)
24        {
25        if(si[l]!=ss[l])
26                {"false";}
27        }
28
29
30tst_status(1);
31$
Note: See TracBrowser for help on using the repository browser.