spielwiese
|
Last change
on this file since 051432 was
1ef8d2,
checked in by Hans Schönemann <hannes@…>, 17 years ago
|
|
*hannes: synatx fix
git-svn-id: file:///usr/local/Singular/svn/trunk@10057 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
|
File size:
615 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | |
|---|
| 5 | ring R=(0,a),(x,y),dp; |
|---|
| 6 | minpoly=a2+1; |
|---|
| 7 | factorize(x4+y4); |
|---|
| 8 | |
|---|
| 9 | ring r2=(0,v),u,dp; |
|---|
| 10 | minpoly=v^4+v^3+v^2+v+1; |
|---|
| 11 | poly f=(192*u^6*v^4-240*u^5*v^5+384*u^5*v^3+48*u^4*v^6+96*u^4*v^4-576*u^4*v^2-48*u^3*v^5+144*u^3*v^3); |
|---|
| 12 | poly g=(1536*u^6*v^4-768*u^5*v^5-1536*u^5*v^3+96*u^4*v^6+768*u^4*v^4-96*u^3*v^5); |
|---|
| 13 | // sollte sein: (16v3+16v2+20v+16)*u5+(16v3-v2)*u4+(4v3+4v2+5v+4)*u3 |
|---|
| 14 | poly r=gcd(f,g);r; |
|---|
| 15 | f-(f/r)*r; |
|---|
| 16 | g-(g/r)*r; |
|---|
| 17 | |
|---|
| 18 | |
|---|
| 19 | f=(-256*u^3*v+128*u^2*v^2-16*u*v^3); |
|---|
| 20 | g=(-64*u^3+48*u^2*v^2+32*u^2*v-192*u^2-12*u*v^3-4*u*v^2+48*u*v); |
|---|
| 21 | r=gcd(f, g);r; // sollte sein://4*u2+(-v)*u |
|---|
| 22 | f-(f/r)*r; |
|---|
| 23 | g-(g/r)*r; |
|---|
| 24 | |
|---|
| 25 | // |
|---|
| 26 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
