fieker-DuValspielwiese
Last change
on this file since a0351f4 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 | |
---|
1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | // elimpart nad matrix orderings |
---|
5 | LIB"normal.lib"; |
---|
6 | intmat A[2][2]=1,0,11,6; |
---|
7 | ring r3=3,(T(1..4),y,x),(dp(4), M(A)); |
---|
8 | ideal endid; |
---|
9 | endid[1]=T(1)*y-T(1)-T(2)*x; |
---|
10 | endid[2]=T(2)*y-T(3)*x; |
---|
11 | endid[3]=-T(1)*x^2+T(3)*y-T(3)-T(4)*x^3; |
---|
12 | endid[4]=T(4)*y-x^4; |
---|
13 | endid[5]=-T(1)*x^2+y^2-y; |
---|
14 | endid[6]=T(1)^2-T(3); |
---|
15 | endid[7]=T(1)*T(2)-T(1)*x-T(4)*x^2; |
---|
16 | endid[8]=T(2)^2-T(1)*y+T(1)+T(4)*x-x^5; |
---|
17 | endid[9]=T(1)*T(3)-T(1)*y-x^5; |
---|
18 | endid[10]=T(2)*T(3)-T(2)*y-y*x^4+x^4; |
---|
19 | endid[11]=T(3)^2-T(3)*y-y^2*x^3+y*x^3; |
---|
20 | endid[12]=T(1)*T(4)-y*x^2+x^2; |
---|
21 | endid[13]=T(2)*T(4)-y^2*x-y*x-x; |
---|
22 | endid[14]=T(3)*T(4)-y^3-y^2-y; |
---|
23 | endid[15]=T(4)^2-T(2)*y+T(2)+y*x-x; |
---|
24 | endid[16]=y^6-y^3*x^4-y^3+y^2*x^4-x^11; |
---|
25 | list Le = elimpart(endid); |
---|
26 | Le; |
---|
27 | |
---|
28 | tst_status(1);$ |
---|
Note: See
TracBrowser
for help on using the repository browser.