spielwiese
|
Last change
on this file since 4da485 was
c2400ce,
checked in by Oleksandr Motsak <motsak@…>, 11 years ago
|
|
More tests
|
-
Property mode set to
100644
|
|
File size:
552 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | |
|---|
| 3 | ring R = 0, (x,y,z), (A(3, 2, 2), lp(3), C); |
|---|
| 4 | |
|---|
| 5 | R; |
|---|
| 6 | |
|---|
| 7 | |
|---|
| 8 | // characteristic : 0 |
|---|
| 9 | // number of vars : 3 |
|---|
| 10 | // block 1 : ordering A |
|---|
| 11 | // : names x y z |
|---|
| 12 | // : weights 3 2 2 |
|---|
| 13 | // block 2 : ordering lp |
|---|
| 14 | // : names x y z |
|---|
| 15 | // block 3 : ordering C$39 = void |
|---|
| 16 | |
|---|
| 17 | ideal G = |
|---|
| 18 | x2+y3, |
|---|
| 19 | x2y, |
|---|
| 20 | x3, |
|---|
| 21 | z4 |
|---|
| 22 | ; |
|---|
| 23 | |
|---|
| 24 | // attrib(G, "isSB", 1); |
|---|
| 25 | |
|---|
| 26 | ideal M = |
|---|
| 27 | x2+y3, |
|---|
| 28 | z4, |
|---|
| 29 | y4, |
|---|
| 30 | xy3 |
|---|
| 31 | ; |
|---|
| 32 | |
|---|
| 33 | TRACE=3; option(prot); |
|---|
| 34 | division(G, M); // idLift(Gomega, M, NULL, FALSE, FALSE, TRUE, NULL); |
|---|
| 35 | |
|---|
| 36 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
