| 1 | LIB "tst.lib"; tst_init(); /* tst_ignore("4ti2"); */ |
|---|
| 2 | LIB "multigrading.lib"; |
|---|
| 3 | ring R = 0, (x, y), dp; |
|---|
| 4 | intmat g1[2][2]=1,0,0,1; |
|---|
| 5 | intmat l[2][1]=2,0; |
|---|
| 6 | intmat g2[2][2]=1,1,1,1; |
|---|
| 7 | intvec v1=4,0; |
|---|
| 8 | intvec v2=4,4; |
|---|
| 9 | intmat g3[1][2]=1,1; |
|---|
| 10 | setBaseMultigrading(g3); |
|---|
| 11 | intvec v3=4:1; |
|---|
| 12 | v3; |
|---|
| 13 | multiDegBasis(v3); |
|---|
| 14 | setBaseMultigrading(g1,l); |
|---|
| 15 | multiDegBasis(v1); |
|---|
| 16 | setBaseMultigrading(g2); |
|---|
| 17 | multiDegBasis(v2); |
|---|
| 18 | intmat M[2][2] = 1, -1, -1, 1; |
|---|
| 19 | intvec d = -2, 2; |
|---|
| 20 | setBaseMultigrading(M); |
|---|
| 21 | multiDegBasis(d); |
|---|
| 22 | attrib(_, "ZeroPart"); |
|---|
| 23 | kill R, M, d; |
|---|
| 24 | ring R = 0, (x, y, z), dp; |
|---|
| 25 | intmat M[2][3] = 1, -2, 1, 1, 1, 0; |
|---|
| 26 | intmat L[2][1] = 0, 2; |
|---|
| 27 | intvec d = 4, 1; |
|---|
| 28 | setBaseMultigrading(M, L); |
|---|
| 29 | multiDegBasis(d); |
|---|
| 30 | attrib(_, "ZeroPart"); |
|---|
| 31 | kill R, M, d; |
|---|
| 32 | ring R = 0, (x, y, z), dp; |
|---|
| 33 | qring Q = std(ideal( y^6+ x*y^3*z-x^2*z^2 )); |
|---|
| 34 | intmat M[2][3] = 1, 1, 2, 2, 1, 1; |
|---|
| 35 | // intmat T[2][1] = 0, 2; |
|---|
| 36 | setBaseMultigrading(M); // BUG???? |
|---|
| 37 | intvec d = 6, 6; |
|---|
| 38 | multiDegBasis(d); |
|---|
| 39 | attrib(_, "ZeroPart"); |
|---|
| 40 | kill R, Q, M, d; |
|---|
| 41 | ring R = 0, (x, y, z), dp; |
|---|
| 42 | qring Q = std(ideal( x*z^3 - y *z^6, x*y*z - x^4*y^2 )); |
|---|
| 43 | intmat M[2][3] = 1, -2, 1, 1, 1, 0; |
|---|
| 44 | intmat T[2][1] = 0, 2; |
|---|
| 45 | intvec d = 4, 1; |
|---|
| 46 | setBaseMultigrading(M, T); // BUG???? |
|---|
| 47 | multiDegBasis(d); |
|---|
| 48 | attrib(_, "ZeroPart"); |
|---|
| 49 | tst_status(1);$ |
|---|
