source:
git/Tst/Short/bug_554.tst
@
b672d2
| Last change on this file since b672d2 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.
