source: git/Tst/Short/bug_tr785.tst @ 197c4e

fieker-DuValspielwiese
Last change on this file since 197c4e was ea2946, checked in by Hans Schoenemann <hannes@…>, 7 years ago
fix: tr. #785 (setting pFDeg, p_WTotaldegree)
  • Property mode set to 100644
File size: 510 bytes
Line 
1LIB "tst.lib";
2tst_init();
3
4option(prot);
5ring sds = integer,(t,x1,x2,x3,x4),ds;
6ideal I = 3-t,2*x1^2+3*x1*x2+24*x3*x4,8*x1^3+x2*x3*x4+18*x3^2*x4;
7I=std(I);
8I;
9ord(I[1..ncols(I)]);
10
11ring sws = integer,(t,x1,x2,x3,x4),ws(1,1,1,1,1);
12ideal I = 3-t,2*x1^2+3*x1*x2+24*x3*x4,8*x1^3+x2*x3*x4+18*x3^2*x4;
13I=std(I);
14I;
15ord(I[1..ncols(I)]);
16
17ring salp = integer,(t,x1,x2,x3,x4),(a(-1,-1,-1,-1,-1),lp);
18ideal I = 3-t,2*x1^2+3*x1*x2+24*x3*x4,8*x1^3+x2*x3*x4+18*x3^2*x4;
19I=std(I);
20I;
21ord(I[1..ncols(I)]);
22
23tst_status(1);$
Note: See TracBrowser for help on using the repository browser.