source:
git/Tst/Short/bug_ring_red.tst
| Last change on this file was 6b9ca3, checked in by , 18 months ago | |
|---|---|
|
|
| File size: 134 bytes | |
| Line | |
|---|---|
| 1 | LIB"tst.lib"; |
| 2 | tst_init(); |
| 3 | ring r=ZZ,(x,y),dp; |
| 4 | NF(3x,2x); // reduce leading cf. |
| 5 | NF(y2+3x,2x); // reduce non-leading cf |
| 6 | tst_status(1);$ |
Note: See TracBrowser
for help on using the repository browser.
