spielwiese
|
Last change
on this file since 1427f62 was
2bf04b,
checked in by Hans Schoenemann <hannes@…>, 8 years ago
|
|
format
|
-
Property mode set to
100644
|
|
File size:
413 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | // reduce (integers, mixed ordering) does not terminate |
|---|
| 5 | ring r=integer,(t,x(1..5)),ws(1,-1,-1,-1,-1,-1); |
|---|
| 6 | poly h = 3*t*x(2)*x(4)-21*t*x(1)*x(5)-12*t^2*x(1)*x(2)-2*t^2*x(1)*x(3)-6*t^2*x(1)*x(4); |
|---|
| 7 | ideal G = |
|---|
| 8 | x(2)+6*x(4)+7*x(5)+4*t*x(2), |
|---|
| 9 | x(2)+8*x(3)+7*x(5)+t*x(2), |
|---|
| 10 | t*x(1)+3*t*x(2)+t^2*x(1), |
|---|
| 11 | t*x(4)+21*t*x(5)+12*t^2*x(2)+2*t^2*x(3)+7*t^2*x(4), |
|---|
| 12 | 2-t; |
|---|
| 13 | G = std(G); |
|---|
| 14 | reduce(h,G); |
|---|
| 15 | |
|---|
| 16 | tst_status(1);$ |
|---|
| 17 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
