fieker-DuValspielwiese
|
Last change
on this file since bceb63 was
9f1bf0,
checked in by Andreas Steenpass <steenpass@…>, 10 years ago
|
|
chg: update tests for assprimeszerodim.lib
(cherry picked from commit 56603b02d3f85bff9a5dc45e81b00295f235a284)
Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
Conflicts:
Tst/Short/ok_s.lst
+ add assprimeszerodim_s.tst to Short.lst
|
-
Property mode set to
100755
|
|
File size:
607 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | LIB "assprimeszerodim.lib"; |
|---|
| 5 | |
|---|
| 6 | ring R1 = 0,x(1..6),dp; |
|---|
| 7 | ideal I = cyclic(6); |
|---|
| 8 | assPrimes(I, "GTZ"); |
|---|
| 9 | assPrimes(I, "EHV"); |
|---|
| 10 | assPrimes(I, "Monico"); |
|---|
| 11 | |
|---|
| 12 | // example from manual |
|---|
| 13 | ring R2 = 0,(a,b,c,d,e,f),dp; |
|---|
| 14 | ideal I = 2fb+2ec+d2+a2+a, |
|---|
| 15 | 2fc+2ed+2ba+b, |
|---|
| 16 | 2fd+e2+2ca+c+b2, |
|---|
| 17 | 2fe+2da+d+2cb, |
|---|
| 18 | f2+2ea+e+2db+c2, |
|---|
| 19 | 2fa+f+2eb+2dc; |
|---|
| 20 | assPrimes(I, "GTZ"); |
|---|
| 21 | system("--random", 12345); // to get the same results on 32 and 64 bit |
|---|
| 22 | assPrimes(I, "EHV"); |
|---|
| 23 | system("--random", 12345); // to get the same results on 32 and 64 bit |
|---|
| 24 | assPrimes(I, "Monico"); |
|---|
| 25 | |
|---|
| 26 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
