spielwiese
|
Last change
on this file since 1427f62 was
e9478b,
checked in by Hans Schoenemann <hannes@…>, 9 years ago
|
|
format
|
-
Property mode set to
100644
|
|
File size:
506 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | LIB"primdec.lib"; |
|---|
| 5 | ring rng = (7,v),(x,y,z,u),(dp,C); |
|---|
| 6 | minpoly = v^2+v+3; |
|---|
| 7 | ideal I = (2*v+3)*y^2*z+(2*v+1)*y^2+(v-2),(-3*v-1)*x*z^2+(v)*x^2+(-3*v-1)*z^2,(3*v)*x^3+(-v); |
|---|
| 8 | def L1 = primdecSY (I); |
|---|
| 9 | def L2 = primdecSY ( std(I) ); |
|---|
| 10 | size(L1); |
|---|
| 11 | size(L2); |
|---|
| 12 | |
|---|
| 13 | kill rng; |
|---|
| 14 | system("random",1947043918); |
|---|
| 15 | ring rng = (13931,v),(x,y,z,w),dp; |
|---|
| 16 | minpoly = v^2-13; |
|---|
| 17 | ideal I = 5531*x*z^2+(1016*v),(169*v)*y^2*w+2197*x,-3044*x^2*w+1362; |
|---|
| 18 | list L1 = primdecGTZ(I); |
|---|
| 19 | list L2 = primdecSY(I); |
|---|
| 20 | |
|---|
| 21 | L1; |
|---|
| 22 | L2; |
|---|
| 23 | |
|---|
| 24 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
