spielwiese
|
Last change
on this file since 1ebec3 was
1ebec3,
checked in by Oleksandr Motsak <motsak@…>, 11 years ago
|
|
Added tests for wring prot output (weight2.tst)
|
-
Property mode set to
100644
|
|
File size:
330 bytes
|
| Rev | Line | |
|---|
| [1ebec3] | 1 | option(); |
|---|
| 2 | |
|---|
| 3 | LIB "tst.lib"; tst_init(); |
|---|
| 4 | |
|---|
| 5 | option(); |
|---|
| 6 | |
|---|
| 7 | |
|---|
| 8 | ring vc= 32003,(x,y,z,t),ds; |
|---|
| 9 | degBound=1; |
|---|
| 10 | ideal i= 49y5-9y4+41x2z+12y3+33y2+11y+73t, |
|---|
| 11 | 33y4+21x2y+17x2z+63y3+11xy+77y2+91y+1t, 26y2+44xz+12y+9t; |
|---|
| 12 | i=i^2; i; |
|---|
| 13 | |
|---|
| 14 | |
|---|
| 15 | // option(redSB); |
|---|
| 16 | option(prot); |
|---|
| 17 | // test(23+32); |
|---|
| 18 | option(weightM); |
|---|
| 19 | |
|---|
| 20 | option(); |
|---|
| 21 | std(i); |
|---|
| 22 | option(); |
|---|
| 23 | |
|---|
| 24 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
