spielwiese
|
Last change
on this file was
0fc231,
checked in by Adi Popescu <adi_popescum@…>, 10 years ago
|
|
mstd code review
|
-
Property mode set to
100644
|
|
File size:
768 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | |
|---|
| 3 | ring r=integer,x,dp; |
|---|
| 4 | ideal I=36; |
|---|
| 5 | mstd(I); |
|---|
| 6 | |
|---|
| 7 | ring r=integer,(x,y),dp; |
|---|
| 8 | |
|---|
| 9 | ideal J=36,2*x^3, 3*y^2; |
|---|
| 10 | // sb has 4 elements, second list entry should equal input |
|---|
| 11 | mstd(J); |
|---|
| 12 | |
|---|
| 13 | ideal I=36,16x3; |
|---|
| 14 | // sb also has 2 elements, so it should appear as second list entry |
|---|
| 15 | mstd(I); |
|---|
| 16 | |
|---|
| 17 | ideal K=3x3,2x5; |
|---|
| 18 | // sb also has 2 elements, so it should appear as second list entry |
|---|
| 19 | mstd(K); |
|---|
| 20 | |
|---|
| 21 | ideal K=3x5,2x5; |
|---|
| 22 | // sb has one elements, so it should appear as second list entry |
|---|
| 23 | mstd(K); |
|---|
| 24 | |
|---|
| 25 | |
|---|
| 26 | ideal L=xy+y2,x3+x11; |
|---|
| 27 | // sb has 3 elements, second list entry should equal input |
|---|
| 28 | mstd(L); |
|---|
| 29 | |
|---|
| 30 | ideal L=2xy+y2,3x3+x11; |
|---|
| 31 | // sb has 13 elements, second list entry should equal input |
|---|
| 32 | mstd(L); |
|---|
| 33 | |
|---|
| 34 | ideal L=2xy+y2,3x3+x11,7x11,5y5; |
|---|
| 35 | mstd(L); |
|---|
| 36 | |
|---|
| 37 | ideal L=2xy+y2,3x3+x11,7x11,5y5,3y4;; |
|---|
| 38 | mstd(L); |
|---|
| 39 | |
|---|
| 40 | tst_status(1);$ |
|---|
| 41 | |
|---|
| 42 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
