source:
git/Tst/Manual/elimpart.tst
| Last change on this file was 894057, checked in by , 13 years ago | |
|---|---|
|
|
| File size: 194 bytes | |
| Line | |
|---|---|
| 1 | LIB "tst.lib"; tst_init(); |
| 2 | LIB "presolve.lib"; |
| 3 | ring s=0,(u,x,y,z),dp; |
| 4 | ideal i = xy2-xu4-x+y2,x2y2+z3+zy,y+z2+1,y+u2; |
| 5 | elimpart(i); |
| 6 | i = interred(i); i; |
| 7 | elimpart(i); |
| 8 | elimpart(i,2); |
| 9 | tst_status(1);$ |
Note: See TracBrowser
for help on using the repository browser.
