source:
git/Tst/Manual/sturmquery.tst
@
951db29
Last change on this file since 951db29 was 894057, checked in by , 13 years ago | |
---|---|
|
|
File size: 158 bytes |
Line | |
---|---|
1 | LIB "tst.lib"; tst_init(); |
2 | LIB "rootsmr.lib"; |
3 | ring r = 0,(x,y),dp; |
4 | ideal i = x4-y2x,y2-13; |
5 | i = std(i); |
6 | ideal b = qbase(i); |
7 | sturmquery(1,b,i); |
8 | tst_status(1);$ |
Note: See TracBrowser
for help on using the repository browser.