fieker-DuValspielwiese
|
Last change
on this file since cbf01b was
4cf919,
checked in by Karim Abou Zeid <karim23697@…>, 4 years ago
|
|
Rename lpUfGraph to lpUfnarovskiGraph
|
-
Property mode set to
100644
|
|
File size:
876 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "fpaprops.lib"; |
|---|
| 3 | |
|---|
| 4 | // 1 |
|---|
| 5 | ring r = 0,(x,y),Dp; |
|---|
| 6 | def R = freeAlgebra(r, 5); |
|---|
| 7 | setring R; |
|---|
| 8 | ideal G = x*y*y; // already a GB |
|---|
| 9 | lpUfnarovskiGraph(G); |
|---|
| 10 | |
|---|
| 11 | kill r; |
|---|
| 12 | kill R; |
|---|
| 13 | |
|---|
| 14 | // 2 |
|---|
| 15 | ring r = 0,(x4,x3,x2,x1),Dp; |
|---|
| 16 | ring R = freeAlgebra(r, 7); |
|---|
| 17 | setring(R); |
|---|
| 18 | ideal I = x4*x4-25*x4*x2-x1*x4-6*x1*x3-9*x1*x2+x1*x1, |
|---|
| 19 | x4*x3+13*x4*x2+12*x4*x1-9*x3*x4+4*x3*x2+41*x3*x1-7*x1*x4-x1*x2, |
|---|
| 20 | x3*x3-9*x3*x2+2*x1*x4+x1*x1, |
|---|
| 21 | 17*x4*x2-5*x2*x2-41*x1*x4, |
|---|
| 22 | x2*x2-13*x2*x1-4*x1*x3+2*x1*x2-x1*x1, |
|---|
| 23 | x2*x1+4*x1*x2-3*x1*x1; |
|---|
| 24 | ideal G = std(I); |
|---|
| 25 | lpUfnarovskiGraph(G); |
|---|
| 26 | |
|---|
| 27 | kill r; |
|---|
| 28 | kill R; |
|---|
| 29 | |
|---|
| 30 | // 3 (mon1) |
|---|
| 31 | ring r = 0,(x,y),Dp; |
|---|
| 32 | def R = freeAlgebra(r, 4); |
|---|
| 33 | setring(R); |
|---|
| 34 | ideal I = x*y*x, y*x*y; |
|---|
| 35 | ideal G = std(I); |
|---|
| 36 | lpUfnarovskiGraph(G); |
|---|
| 37 | |
|---|
| 38 | kill r; |
|---|
| 39 | kill R; |
|---|
| 40 | |
|---|
| 41 | // 4 (liP162E1) |
|---|
| 42 | ring r = 0,(x1,x2),Dp; |
|---|
| 43 | def R = makeLetterplaceRing(4); |
|---|
| 44 | setring(R); |
|---|
| 45 | ideal I = x1*x1*x2, x1*x2*x2; |
|---|
| 46 | ideal G = std(I); |
|---|
| 47 | lpUfnarovskiGraph(G); |
|---|
| 48 | |
|---|
| 49 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
