source:
git/Tst/New/quotient_error.tst
@
4da485
| Last change on this file since 4da485 was c2400ce, checked in by , 10 years ago | |
|---|---|
|
|
| File size: 233 bytes | |
| Rev | Line | |
|---|---|---|
| [c2400ce] | 1 | LIB "tst.lib"; tst_init(); |
| 2 | ||
| 3 | ring R = 0, (x, y, U(1), U(2)), (dp(4), C); R; | |
| 4 | ||
| 5 | ideal I; | |
| 6 | I[1]=x^3*U(2); | |
| 7 | I[2]=y^3*U(1); | |
| 8 | I[3]=y^4; | |
| 9 | I[4]=x^4; | |
| 10 | I[5]=U(1)*U(2); | |
| 11 | ||
| 12 | ideal rad=1; | |
| 13 | ||
| 14 | TRACE=3; option(prot); | |
| 15 | quotient(I, rad); | |
| 16 | ||
| 17 | ||
| 18 | tst_status(1);$ |
Note: See TracBrowser
for help on using the repository browser.
