fieker-DuValspielwiese
Last change
on this file since 1427f62 was
75f460,
checked in by Hans Schoenemann <hannes@…>, 9 years ago
|
format
|
-
Property mode set to
100644
|
File size:
476 bytes
|
Rev | Line | |
---|
[124194] | 1 | |
---|
| 2 | LIB "tst.lib"; |
---|
| 3 | tst_init(); |
---|
| 4 | ring MYRINGNAME=32003,(a, b, c, d, u, v, w, x, y, z),lp; |
---|
| 5 | ideal MYIDEALNAME=210*z-210, |
---|
| 6 | -80*d+180*y+855*z, |
---|
| 7 | 136*d*z-114*c+152*x+720*y, |
---|
| 8 | 112*d*y+105*c*z-144*b+126*w+595*x, |
---|
| 9 | 90*d*x+84*c*y+78*b*z-170*a+102*v+480*w, |
---|
| 10 | 70*d*w+65*c*x+60*b*y+55*a*z+80*u+375*v, |
---|
| 11 | 52*d*v+48*c*w+44*b*x+40*a*y+280*u, |
---|
| 12 | 36*d*u+33*c*v+20*b*w+27*a*x, |
---|
| 13 | 20*c*u+18*b*v+16*a*w, |
---|
| 14 | 8*b*u+7*a*v; |
---|
| 15 | option(redSB); |
---|
| 16 | slimgb(MYIDEALNAME); |
---|
| 17 | kill MYRINGNAME; |
---|
[598a84] | 18 | tst_status(1);$ |
---|
[75f460] | 19 | |
---|
Note: See
TracBrowser
for help on using the repository browser.