spielwiese
|
Last change
on this file since e74bb4 was
e74bb4,
checked in by Hans Schoenemann <hannes@…>, 5 years ago
|
|
fix: lpNF test
|
-
Property mode set to
100644
|
|
File size:
409 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "freegb.lib"; |
|---|
| 3 | ring r = 0,(x,y,z),dp; |
|---|
| 4 | int d =5; // degree |
|---|
| 5 | def R = makeLetterplaceRing(d); |
|---|
| 6 | setring R; |
|---|
| 7 | ideal I = y*x*y - z*y*z, x*y*x - z*x*y, z*x*z - y*z*x, x*x*x + y*y*y + z*z*z + x*y*z; |
|---|
| 8 | ideal J = std(I); // compute a Letterplace Groebner basis |
|---|
| 9 | poly p = y*x*y*z*y - y*z*z*y + z*y*z; |
|---|
| 10 | poly q = z*x*z*y*z - y*z*x*y*z; |
|---|
| 11 | lpNF(p,J); |
|---|
| 12 | reduce(p,J); |
|---|
| 13 | lpNF(q,J); |
|---|
| 14 | reduce(q,J); |
|---|
| 15 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
