spielwiese
|
Last change
on this file since 1ebec3 was
30d8a1,
checked in by Olaf Bachmann <obachman@…>, 24 years ago
|
|
* added
git-svn-id: file:///usr/local/Singular/svn/trunk@4558 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
|
File size:
788 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | //From: Herbert Gangl <herbert@mpim-bonn.mpg.de> |
|---|
| 5 | //Date: Tue, 22 Aug 2000 00:54:34 +0200 (MET DST) |
|---|
| 6 | //To: greuel@mathematik.uni-kl.de |
|---|
| 7 | |
|---|
| 8 | //ring r = 0, (a(1..3),b(1..3),ai(1..3),bi(1..3)), dp; |
|---|
| 9 | echo =1; |
|---|
| 10 | ring r = 032003, (a(1..3),b(1..3),ai(1..3),bi(1..3)), dp; |
|---|
| 11 | option(prot); |
|---|
| 12 | ideal I; |
|---|
| 13 | int i,ii; |
|---|
| 14 | |
|---|
| 15 | for(i=1; i<=3;i++) {I[2*i-1]=a(i)*ai(i)-1; I[2*i]=b(i)*bi(i)-1;} |
|---|
| 16 | |
|---|
| 17 | poly f = b(3)*a(3)*(1-a(1))^2*(1-b(1))^2-a(3)*b(3)*(1-a(3))^2*(1-b(3))^2; |
|---|
| 18 | |
|---|
| 19 | ideal J = (b(1)-b(3))*(1-a(1)*a(3))-b(2)*(1-b(1)*b(3))*(a(3)-a(1)), |
|---|
| 20 | (b(1)-a(3))*(b(3)-a(1))*a(2)-(b(1)*a(3)-1)*(b(3)*a(1)-1); |
|---|
| 21 | |
|---|
| 22 | |
|---|
| 23 | poly ff = b(2)*a(2)*(1-a(3))*(1-a(3))*(1-b(3))*(1-b(3))-a(2)*b(2)*(1-a(2))*(1-a(2))*(1-b(2))*(1-b(2)); |
|---|
| 24 | I+J+f; |
|---|
| 25 | |
|---|
| 26 | //ideal K = groebner(I+J+f); |
|---|
| 27 | ideal K = std(I+J+f); |
|---|
| 28 | size(K); |
|---|
| 29 | |
|---|
| 30 | kill r; |
|---|
| 31 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
