fieker-DuValspielwiese
|
Last change
on this file since 6b9ca3 was
75f460,
checked in by Hans Schoenemann <hannes@…>, 9 years ago
|
|
format
|
-
Property mode set to
100644
|
|
File size:
528 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | LIB "modstd.lib"; |
|---|
| 5 | |
|---|
| 6 | example modStd; |
|---|
| 7 | |
|---|
| 8 | /* standard: cyclic 5 */ |
|---|
| 9 | ring r1 = 0, x(1..5), dp; |
|---|
| 10 | ideal I = cyclic(5); |
|---|
| 11 | modStd(I); |
|---|
| 12 | |
|---|
| 13 | /* without final tests */ |
|---|
| 14 | ring r2 = 0, x(1..6), dp; |
|---|
| 15 | ideal I = cyclic(6); |
|---|
| 16 | modStd(I, 0); |
|---|
| 17 | |
|---|
| 18 | /* with parameters */ |
|---|
| 19 | ring r3 = (0,u,v,w), (x,y,z), dp; |
|---|
| 20 | ideal I = x+u*y, y+v*z; |
|---|
| 21 | modStd(I); |
|---|
| 22 | |
|---|
| 23 | /* for primeTest_std() */ |
|---|
| 24 | ring r4 = 0, x, dp; |
|---|
| 25 | ideal I = 2147483587*x2+1; |
|---|
| 26 | modStd(I); |
|---|
| 27 | |
|---|
| 28 | /* for deleteUnluckyPrimes_std() */ |
|---|
| 29 | ring r5 = 0, (x,y), dp; |
|---|
| 30 | ideal I = 2*x+y, x+2^30*y; |
|---|
| 31 | modStd(I); |
|---|
| 32 | |
|---|
| 33 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
