spielwiese
|
Last change
on this file since 46a76b was
46a76b,
checked in by Karim Abou Zeid <karim.abou.zeid@…>, 5 years ago
|
|
Updated tests
|
-
Property mode set to
100644
|
|
File size:
441 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB"freegb.lib"; |
|---|
| 3 | ring r = 0,(x,y,z),Dp; |
|---|
| 4 | def R = makeLetterplaceRing(10); setring R; |
|---|
| 5 | 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; |
|---|
| 6 | ideal J = std(I); |
|---|
| 7 | poly p = y*x*y*z*y - y*z*z*y + z*y*z; |
|---|
| 8 | poly q = z*x*z*y*z - y*z*x*y*z; |
|---|
| 9 | reduce(p*p,J); // nonzero |
|---|
| 10 | reduce(p*p - reduce(p*p,J),J); // zero |
|---|
| 11 | reduce(q*q,J); // zero |
|---|
| 12 | reduce(q*p,J); // zero |
|---|
| 13 | reduce(q*p - p*q,J); // zero |
|---|
| 14 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
