source:
git/Tst/Short/bug_554.tst
@
1427f62
Last change on this file since 1427f62 was 6776cf, checked in by , 10 years ago | |
---|---|
|
|
File size: 141 bytes |
Line | |
---|---|
1 | LIB "tst.lib"; |
2 | tst_init(); |
3 | |
4 | LIB("ehv.lib"); |
5 | |
6 | ring rng = 0,x,dp; |
7 | ideal I=0; |
8 | def rI = radEHV(I); |
9 | ASSUME(0, size(rI)==0 ); |
10 | |
11 | |
12 | tst_status(1); $; |
13 |
Note: See TracBrowser
for help on using the repository browser.