spielwiese
|
Last change
on this file since fe969a was
195f962,
checked in by Hans Schönemann <hannes@…>, 19 years ago
|
|
*hannes: extended tests
git-svn-id: file:///usr/local/Singular/svn/trunk@8722 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
|
File size:
666 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | ring R = (0, a), (u,v,w), dp; minpoly = a^2 + 4/27; |
|---|
| 4 | poly p = |
|---|
| 5 | u^4+3*u^3*v+25/4*u^2*v^2+6*u*v^3+4*v^4+2*u^3*w+8*u^2*v*w+23/2*u*v^2*w+10*v^3*w+u |
|---|
| 6 | ^2*w^2+5*u*v*w^2+25/4*v^2*w^2-1/3*u^2+1/3*u*v+1/3*u*w+1/3*v*w+3/4*w^2+1/9; |
|---|
| 7 | list L=factorize(p); |
|---|
| 8 | L; |
|---|
| 9 | L[1][2]*L[1][3]-p; |
|---|
| 10 | |
|---|
| 11 | //------------------------------------------- |
|---|
| 12 | |
|---|
| 13 | ring S=(0,a),(y),dp; |
|---|
| 14 | minpoly = 8a4+188a2-2217; |
|---|
| 15 | poly f=4915089/64-104199/8*y2-2*y4+47*y6+y8; |
|---|
| 16 | // all real factors have exponents 2, |
|---|
| 17 | // S 3-0-0 had some factors twice |
|---|
| 18 | //[1]: |
|---|
| 19 | // _[1]=1 |
|---|
| 20 | // _[2]=y+(-a) |
|---|
| 21 | // _[3]=y+(a) |
|---|
| 22 | // _[4]=y2+(a2+47/2) |
|---|
| 23 | // _[5]=y+(a) |
|---|
| 24 | // _[6]=y+(-a) |
|---|
| 25 | //[2]: |
|---|
| 26 | // 1,1,1,2,1,1 |
|---|
| 27 | |
|---|
| 28 | factorize(f); |
|---|
| 29 | // |
|---|
| 30 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
