spielwiese
|
Last change
on this file since fdda546 was
98cbe2,
checked in by Martin Lee <martinlee84@…>, 10 years ago
|
|
added test for #628
|
-
Property mode set to
100644
|
|
File size:
353 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | LIB("primdec.lib"); |
|---|
| 5 | ring rng = 0,(x,r,b,u),lp; |
|---|
| 6 | ideal I = b^3-6*b^2+5*b-1, |
|---|
| 7 | r^2-r*u+u^2*b+b^2-6*b+1, |
|---|
| 8 | x^2+2*x*r*b^2-11*x*r*b+5*x*r+r*u-u^2*b; |
|---|
| 9 | |
|---|
| 10 | def L1 = primdecGTZ(I); |
|---|
| 11 | ASSUME(0, testPrimary(L1,I) ); |
|---|
| 12 | |
|---|
| 13 | list LGTZI = minAssGTZ(I); |
|---|
| 14 | list LCharI = minAssChar(I); |
|---|
| 15 | LGTZI; |
|---|
| 16 | LCharI; |
|---|
| 17 | |
|---|
| 18 | ASSUME(0, size(LGTZI)==size(LCharI) ); |
|---|
| 19 | |
|---|
| 20 | tst_status(1);$ |
|---|
| 21 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
