# source:git/Tst/VeryLong/gangl.tst@e1b6326

spielwiese
Last change on this file since e1b6326 was 30d8a1, checked in by Olaf Bachmann <obachman@…>, 23 years ago
• Property mode set to `100644`
File size: 788 bytes
Line
1LIB "tst.lib";
2tst_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;
9echo =1;
10ring r = 032003, (a(1..3),b(1..3),ai(1..3),bi(1..3)), dp;
11option(prot);
12ideal I;
13int i,ii;
14
15for(i=1; i<=3;i++) {I[2*i-1]=a(i)*ai(i)-1; I[2*i]=b(i)*bi(i)-1;}
16
17poly 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
19ideal 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
23poly 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));
24I+J+f;
25
26//ideal K = groebner(I+J+f);
27ideal K = std(I+J+f);
28size(K);
29
30kill r;
31tst_status(1);\$
Note: See TracBrowser for help on using the repository browser.