source: git/Tst/Short/bug_presolve.tst @ f1cfef

spielwiese
Last change on this file since f1cfef was f02346, checked in by Hans Schönemann <hannes@…>, 15 years ago
*hannes: presolve.lib git-svn-id: file:///usr/local/Singular/svn/trunk@11830 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 721 bytes
Line 
1LIB "tst.lib";
2tst_init();
3
4// elimpart nad matrix orderings
5LIB"normal.lib";
6intmat A[2][2]=1,0,11,6;
7ring r3=3,(T(1..4),y,x),(dp(4), M(A));
8ideal endid;
9endid[1]=T(1)*y-T(1)-T(2)*x;
10endid[2]=T(2)*y-T(3)*x;
11endid[3]=-T(1)*x^2+T(3)*y-T(3)-T(4)*x^3;
12endid[4]=T(4)*y-x^4;
13endid[5]=-T(1)*x^2+y^2-y;
14endid[6]=T(1)^2-T(3);
15endid[7]=T(1)*T(2)-T(1)*x-T(4)*x^2;
16endid[8]=T(2)^2-T(1)*y+T(1)+T(4)*x-x^5;
17endid[9]=T(1)*T(3)-T(1)*y-x^5;
18endid[10]=T(2)*T(3)-T(2)*y-y*x^4+x^4;
19endid[11]=T(3)^2-T(3)*y-y^2*x^3+y*x^3;
20endid[12]=T(1)*T(4)-y*x^2+x^2;
21endid[13]=T(2)*T(4)-y^2*x-y*x-x;
22endid[14]=T(3)*T(4)-y^3-y^2-y;
23endid[15]=T(4)^2-T(2)*y+T(2)+y*x-x;
24endid[16]=y^6-y^3*x^4-y^3+y^2*x^4-x^11;
25list Le = elimpart(endid);
26Le;
27
28tst_status(1);$
Note: See TracBrowser for help on using the repository browser.