source:
git/Tst/Manual/elimlinearpart.tst
@
6fb723
Last change on this file since 6fb723 was 894057, checked in by , 13 years ago | |
---|---|
|
|
File size: 144 bytes |
Line | |
---|---|
1 | LIB "tst.lib"; tst_init(); |
2 | LIB "presolve.lib"; |
3 | ring s=0,(u,x,y,z),dp; |
4 | ideal i = u3+y3+z-x,x2y2+z3,y+z+1,y+u; |
5 | elimlinearpart(i); |
6 | tst_status(1);$ |
Note: See TracBrowser
for help on using the repository browser.