| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "resbinomial.lib"; |
|---|
| 3 | ring r = 0,(x(1),y(2),x(3),y(4),x(5..7)),dp; |
|---|
| 4 | list flag=identifyvar(); |
|---|
| 5 | ideal P=x(1)^2*x(3)^5-x(5)^7*y(4),x(6)^3*y(2)^5-x(7)^5,x(5)^3*x(6)-y(4)^3*x(1)^5; |
|---|
| 6 | list L=data(P,3,7); |
|---|
| 7 | list L2=ECoef(L[1],L[2],3,1,3,7,flag); |
|---|
| 8 | L2[1]; // exponents of the E-Coefficient ideal respect to x(1) |
|---|
| 9 | L2[2]; // its coefficients |
|---|
| 10 | L2[3]; // classify the type of ideal obtained |
|---|
| 11 | ring r = 0,(x(1),y(2),x(3),y(4)),dp; |
|---|
| 12 | list flag=identifyvar(); |
|---|
| 13 | ideal J=x(1)^3*(1-2*y(2)*y(4)^2); // Bold regular case |
|---|
| 14 | list L=data(J,1,4); |
|---|
| 15 | list L2=ECoef(L[1],L[2],1,1,3,4,flag); |
|---|
| 16 | L2; |
|---|
| 17 | ring r = 0,(x(1),y(2),x(3),y(4),x(5..7)),dp; |
|---|
| 18 | list flag=identifyvar(); |
|---|
| 19 | ideal J=x(1)^3-x(3)^2*y(4)^2,x(1)*x(7)*y(2)-x(6)^3*x(5)*y(4)^3,x(5)^3-x(5)^3*y(2)^2; |
|---|
| 20 | list L=data(J,3,7); |
|---|
| 21 | list L2=ECoef(L[1],L[2],3,1,2,7,flag); |
|---|
| 22 | L2; |
|---|
| 23 | ring r = 3,(x(1),y(2),x(3),y(4),x(5..7)),dp; |
|---|
| 24 | list flag=identifyvar(); |
|---|
| 25 | ideal J=x(1)^3-x(3)^2*y(4)^2,x(1)*x(7)*y(2)-x(6)^3*x(5)*y(4)^3,x(5)^3-x(5)^3*y(2)^2; |
|---|
| 26 | list L=data(J,3,7); |
|---|
| 27 | list L2=ECoef(L[1],L[2],3,1,2,7,flag); |
|---|
| 28 | L2; // THE COMPUTATIONS ARE NOT CORRECT IN CHARACTERISTIC p>0 |
|---|
| 29 | // because numbers are treated as 0 in assignments |
|---|
| 30 | tst_status(1);$ |
|---|
