fieker-DuValspielwiese
Last change
on this file since a59c630 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.