spielwiese
Release-4-3-2p2
Last change
on this file since 0d6b7fc was
7f5789,
checked in by Karim Abou Zeid <karim23697@…>, 4 years ago
|
Fix fpaprops for ncgen and add tests
|
-
Property mode set to
100644
|
File size:
628 bytes
|
Line | |
---|
1 | LIB "tst.lib"; tst_init(); |
---|
2 | LIB "fpaprops.lib"; |
---|
3 | |
---|
4 | // 1 (toeplitz) no |
---|
5 | ring r = 0,(y,x),Dp; |
---|
6 | ring R = freeAlgebra(r, 4); |
---|
7 | ideal I = y*x - 1; |
---|
8 | ideal J = twostd(I); |
---|
9 | lpIsPrime(J); |
---|
10 | |
---|
11 | kill r; |
---|
12 | kill R; |
---|
13 | |
---|
14 | // 2 (quadrowmm) no |
---|
15 | ring r = 0,(y,x),Dp; |
---|
16 | ring R = freeAlgebra(r, 4); |
---|
17 | ideal I = y*x-x*y, |
---|
18 | x*x, |
---|
19 | y*y; |
---|
20 | ideal J = twostd(I); |
---|
21 | lpIsPrime(J); |
---|
22 | |
---|
23 | kill r; |
---|
24 | kill R; |
---|
25 | |
---|
26 | // 3 (mon1) yes |
---|
27 | ring r = 0,(x,y),Dp; |
---|
28 | ring R = freeAlgebra(r, 4); |
---|
29 | ideal I = x*y*x, |
---|
30 | y*x*y; |
---|
31 | ideal J = twostd(I); |
---|
32 | lpIsPrime(J); |
---|
33 | |
---|
34 | kill r; |
---|
35 | kill R; |
---|
36 | |
---|
37 | // 4 (liP176E2_2) no |
---|
38 | ring r = 0,(x1,x2),Dp; |
---|
39 | ring R = freeAlgebra(r, 4); |
---|
40 | ideal I = x1*x2, |
---|
41 | x2*x1; |
---|
42 | ideal J = twostd(I); |
---|
43 | lpIsPrime(J); |
---|
44 | |
---|
45 | tst_status(1);$ |
---|
Note: See
TracBrowser
for help on using the repository browser.