@@ -1,414 +1,414 @@ -REDUCE 3.6, 15-Jul-95, patched to 6 Mar 96 ... - - -% Tests of Cvitanovic Package. - - -% COPYRIGHT (C) 1990, INSTITUTE OF NUCLEAR PHYSICS, MOSCOW STATE UNIV. -% CVITBUBLE TEST OF CVITANOVIC PACKAGE -% AUTHOR A. KRYUKOV, ARODIONOV, A.TARANOV -% VERSION 1.1 -% RELEASE 18-SEP-90 - -index j1,j2,j3,j4,j5,j6,j7,j8,j9,j0; - - -vecdim n$ - - - -% Tests of the weels with buble -% (Use notation from SIGSAM Bull, 1989, v.23, no.4, pp.15-24) - -g(l,j1,j2,j2,j1); - - - 2 -n - - -g(l,j1,j2)*g(l1,j3,j1,j2,j3); - - - 2 -n - -g(l,j1,j2)*g(l1,j3,j1,j3,j2); - - -n*( - n + 2) - -g(l,j1,j2)*g(l1,j3,j3,j2,j1); - - - 2 -n - - -g(l,j1,j2,j3,j4)*g(l1,j1,j2,j3,j4); - - -n*(3*n - 2) - -g(l,j1,j2)*g(l1,j3,j4,j1,j2,j4,j3); - - - 3 -n - -g(l,j1,j2,j3,j4)*g(l1,j1,j4,j2,j3); - - -n*( - n + 2) - -g(l,j1,j2)*g(l1,j3,j4,j1,j4,j3,j2); - - - 2 -n*(n - 4*n + 4) - - -g(l,j1,j2)*g(l1,j3,j4,j5,j1,j2,j3,j4,j5); - - - 2 2 -n *( - n + 6*n - 4) - -g(l,j1,j2,j3,j4)*g(l1,j5,j1,j2,j3,j5,j4); - - - 2 -n*( - 3*n + 8*n - 4) - -g(l,j1,j2,j3,j4,j5,j1)*g(l1,j2,j5,j3,j4); - - - 2 -n *( - n + 2) - -g(l,j1,j2,j3,j4,j5,j1,j2,j5)*g(l1,j4,j3); - - - 2 2 -n *( - n + 6*n - 4) - - -g(l,j1,j2)*g(l1,j3,j4,j5,j6,j1,j2,j3,j4,j5,j6); - - - 2 3 2 -n *(n - 12*n + 28*n - 16) - -g(l,j1,j2,j3,j4)*g(l1,j5,j6,j1,j2,j3,j4,j6,j5); - - - 3 -n *(3*n - 2) - -g(l,j1,j2,j3,j4,j5,j6)*g(l1,j1,j2,j4,j3,j6,j5); - - - 2 -n*(7*n - 22*n + 16) - -g(l,j1,j2,j3,j4,j5,j6,j1,j2)*g(l1,j6,j3,j4,j5); - - - 2 2 -n *( - 3*n + 8*n - 4) - -g(l,j1,j2,j3,j4,j5,j6,j7,j1,j2,j3,j4,j5)*g(l1,j6,j7); - - - 2 4 3 2 -n *(n - 20*n + 100*n - 160*n + 80) - -g(l,j1,j2,j3,j4,j5,j6,j7,j1,j2,j3)*g(l1,j4,j5,j7,j6); - - - 2 3 2 -n *(n - 8*n + 16*n - 8) - -g(l,j1,j2,j3,j4,j5,j6,j7,j2)*g(l1,j1,j3,j4,j5,j6,j7); - - - 3 2 -n*( - 15*n + 60*n - 76*n + 32) - - - -% COPYRIGHT (C) 1988,1990, INSTITUTE OF NUCLEAR PHYSICS, MOSCOW STATE U. -% CVITEST Test of CVITANOVIC PACKAGE -% AUTHOR A. KRYUKOV, A.RODIONOV, A.TARANOV -% VERSION 1.2 -% RELEASE 11-MAR-90 - -% -% Test for trace of Dirac matrices. -% -% All tests are the lattices with difference lines -% (Use notation from SIGSAM Bull, 1989, v.4,no.23, pp.15-24) - -index m1,m2,m3,m4,m5,m6,m7,m8,m9,m0; - - -index n1,n2,n3,n4,n5,n6,n7,n8,n9,n0; - - - -vecdim n; - - - - g(l,n1,n1); - - -n - - g(l,n1,m1,n1,m1); - - -n*( - n + 2) - - - g(l,n1,n2,n2,n1); - - - 2 -n - - g(l,n1,n2,m1,n2,n1,m1); - - - 2 -n*(n - 4*n + 4) - - g(l,n1,n2,m1,m2,n2,n1,m2,m1); - - - 3 2 -n*(n - 8*n + 24*n - 16) - - - g(l,n1,n2,n3,n3,n2,n1); - - - 3 -n - - g(l,n1,n2,n3,m1,n3,n2,n1,m1); - - - 3 2 -n*( - n + 6*n - 12*n + 8) - - g(l,n1,n2,n3,m1,m2,n3,n2,n1,m2,m1); - - - 4 3 2 -n*(n - 12*n + 60*n - 112*n + 64) - - g(l,n1,n2,n3,m1,m2,m3,n3,n2,n1,m3,m2,m1); - - - 5 4 3 2 -n*( - n + 18*n - 144*n + 528*n - 816*n + 416) - - g(l,n1,n2,n3,m1,n3,n1,n2,m1); - - - 3 2 -n*(n - 8*n + 16*n - 8) - - g(l,n1,n2,n3,m1,m2,n3,n1,n2,m1,m2); - - - 4 3 2 -n*(n - 16*n + 72*n - 120*n + 64) - - g(l,n1,n2,n3,m1,m2,m3,n2,n3,n1,m3,m1,m2); - - - 5 4 3 2 -n*( - n + 22*n - 172*n + 584*n - 848*n + 416) - - - -% COPYRIGHT (C) 1988,1990, INSTITUTE OF NUCLEAR PHYSICS, MOSCOW STATE U. -% CVITWEEL TEST OF CVITANOVIC PACKAGE -% AUTHOR A. KRYUKOV, ARODIONOV, A.TARANOV -% VERSION 1.2 -% RELEASE 11-MAR-90 - -index j1,j2,j3,j4,j5,j6,j7,j8,j9,j0; - - -vecdim n$ - - - -% Test of CVITANOVIC PACKAGE -% -% All tests are the weels with defferent spoke -% (Use notation from SIGSAM Bull, 1989, v.23, no.4, pp.15-24) - -g(l,j1,j2,j2,j1); - - - 2 -n - - -g(l,j1,j2,j3,j1,j2,j3); - - - 2 -n*( - n + 6*n - 4) - -g(l,j1,j2,j3,j1,j3,j2); - - - 2 -n*(n - 4*n + 4) - -g(l,j1,j2,j3,j3,j2,j1); - - - 3 -n - - -g(l,j1,j2,j3,j4,j1,j2,j3,j4); - - - 3 2 -n*(n - 12*n + 28*n - 16) - -g(l,j1,j2,j3,j4,j1,j2,j4,j3); - - - 3 2 -n*( - n + 10*n - 24*n + 16) - -g(l,j1,j2,j3,j4,j1,j4,j2,j3); - - - 3 2 -n*(n - 8*n + 16*n - 8) - -g(l,j1,j2,j3,j4,j1,j4,j3,j2); - - - 3 2 -n*( - n + 6*n - 12*n + 8) - - -g(l,j1,j2,j3,j4,j5,j1,j2,j3,j4,j5); - - - 4 3 2 -n*(n - 20*n + 100*n - 160*n + 80) - -g(l,j1,j2,j3,j4,j5,j1,j2,j3,j5,j4); - - - 4 3 2 -n*( - n + 18*n - 88*n + 152*n - 80) - -g(l,j1,j2,j3,j4,j5,j1,j2,j5,j3,j4); - - - 4 3 2 -n*(n - 16*n + 72*n - 120*n + 64) - -g(l,j1,j2,j3,j4,j5,j1,j2,j5,j4,j3); - - - 4 3 2 -n*( - n + 14*n - 60*n + 112*n - 64) - - -g(l,j1,j2,j3,j4,j5,j6,j1,j2,j3,j4,j5,j6); - - - 5 4 3 2 -n*( - n + 30*n - 260*n + 840*n - 1120*n + 512) - -g(l,j1,j2,j3,j4,j5,j6,j1,j2,j3,j4,j6,j5); - - - 5 4 3 2 -n*(n - 28*n + 236*n - 784*n + 1088*n - 512) - -g(l,j1,j2,j3,j4,j5,j6,j1,j2,j4,j3,j6,j5); - - - 5 4 3 2 -n*( - n + 26*n - 216*n + 736*n - 1056*n + 512) - -g(l,j1,j2,j3,j4,j5,j6,j1,j2,j6,j3,j4,j5); - - - 5 4 3 2 -n*(n - 24*n + 176*n - 536*n + 704*n - 320) - -g(l,j1,j2,j3,j4,j5,j6,j7,j1,j2,j3,j4,j5,j6,j7); - - - 6 5 4 3 2 -n*( - n + 42*n - 560*n + 3080*n - 7840*n + 9184*n - 3904) - -g(l,j1,j2,j3,j4,j5,j6,j7,j1,j2,j3,j4,j5,j7,j6); - - - 6 5 4 3 2 -n*(n - 40*n + 520*n - 2880*n + 7520*n - 9024*n + 3904) - -g(l,j1,j2,j3,j4,j5,j6,j7,j2,j1,j3,j4,j5,j6,j7); - - - 6 5 4 3 2 -n*(n - 40*n + 520*n - 2880*n + 7520*n - 9024*n + 3904) - - -% Test of example that calculated incorrectly in earlier package. - -index ix,iy,iz; - - -mass p1=mm, p2=mm, p3=mm, p4=mm, k1=0; - - -mshell p1,p2,p3,p4,k1; - - -vector q1,q2; - - -operator ga,gb; - - -for all p let ga(p)=g(la,p) + mm, - gb(p)=g(lb,p) + mm; - - -xx := g(la,ix)*g(la,iy)*(g(lb,ix)*gb(p1)*g(lb,iy)*gb(q2) + - gb(p3)*g(lb,ix)*g(lb,iy)); - - - 2 -xx := - p1.q2*n + 2*p1.q2 + mm *n + mm*n - -let q1=p1-k1, q2=p3+k1; - - - -xx; - - - 2 - - k1.p1*n + 2*k1.p1 - p1.p3*n + 2*p1.p3 + mm *n + mm*n - - -end; -(TIME: cvit 1820 1820) +REDUCE 3.6, 15-Jul-95, patched to 6 Mar 96 ... + + +% Tests of Cvitanovic Package. + + +% COPYRIGHT (C) 1990, INSTITUTE OF NUCLEAR PHYSICS, MOSCOW STATE UNIV. +% CVITBUBLE TEST OF CVITANOVIC PACKAGE +% AUTHOR A. KRYUKOV, ARODIONOV, A.TARANOV +% VERSION 1.1 +% RELEASE 18-SEP-90 + +index j1,j2,j3,j4,j5,j6,j7,j8,j9,j0; + + +vecdim n$ + + + +% Tests of the weels with buble +% (Use notation from SIGSAM Bull, 1989, v.23, no.4, pp.15-24) + +g(l,j1,j2,j2,j1); + + + 2 +n + + +g(l,j1,j2)*g(l1,j3,j1,j2,j3); + + + 2 +n + +g(l,j1,j2)*g(l1,j3,j1,j3,j2); + + +n*( - n + 2) + +g(l,j1,j2)*g(l1,j3,j3,j2,j1); + + + 2 +n + + +g(l,j1,j2,j3,j4)*g(l1,j1,j2,j3,j4); + + +n*(3*n - 2) + +g(l,j1,j2)*g(l1,j3,j4,j1,j2,j4,j3); + + + 3 +n + +g(l,j1,j2,j3,j4)*g(l1,j1,j4,j2,j3); + + +n*( - n + 2) + +g(l,j1,j2)*g(l1,j3,j4,j1,j4,j3,j2); + + + 2 +n*(n - 4*n + 4) + + +g(l,j1,j2)*g(l1,j3,j4,j5,j1,j2,j3,j4,j5); + + + 2 2 +n *( - n + 6*n - 4) + +g(l,j1,j2,j3,j4)*g(l1,j5,j1,j2,j3,j5,j4); + + + 2 +n*( - 3*n + 8*n - 4) + +g(l,j1,j2,j3,j4,j5,j1)*g(l1,j2,j5,j3,j4); + + + 2 +n *( - n + 2) + +g(l,j1,j2,j3,j4,j5,j1,j2,j5)*g(l1,j4,j3); + + + 2 2 +n *( - n + 6*n - 4) + + +g(l,j1,j2)*g(l1,j3,j4,j5,j6,j1,j2,j3,j4,j5,j6); + + + 2 3 2 +n *(n - 12*n + 28*n - 16) + +g(l,j1,j2,j3,j4)*g(l1,j5,j6,j1,j2,j3,j4,j6,j5); + + + 3 +n *(3*n - 2) + +g(l,j1,j2,j3,j4,j5,j6)*g(l1,j1,j2,j4,j3,j6,j5); + + + 2 +n*(7*n - 22*n + 16) + +g(l,j1,j2,j3,j4,j5,j6,j1,j2)*g(l1,j6,j3,j4,j5); + + + 2 2 +n *( - 3*n + 8*n - 4) + +g(l,j1,j2,j3,j4,j5,j6,j7,j1,j2,j3,j4,j5)*g(l1,j6,j7); + + + 2 4 3 2 +n *(n - 20*n + 100*n - 160*n + 80) + +g(l,j1,j2,j3,j4,j5,j6,j7,j1,j2,j3)*g(l1,j4,j5,j7,j6); + + + 2 3 2 +n *(n - 8*n + 16*n - 8) + +g(l,j1,j2,j3,j4,j5,j6,j7,j2)*g(l1,j1,j3,j4,j5,j6,j7); + + + 3 2 +n*( - 15*n + 60*n - 76*n + 32) + + + +% COPYRIGHT (C) 1988,1990, INSTITUTE OF NUCLEAR PHYSICS, MOSCOW STATE U. +% CVITEST Test of CVITANOVIC PACKAGE +% AUTHOR A. KRYUKOV, A.RODIONOV, A.TARANOV +% VERSION 1.2 +% RELEASE 11-MAR-90 + +% +% Test for trace of Dirac matrices. +% +% All tests are the lattices with difference lines +% (Use notation from SIGSAM Bull, 1989, v.4,no.23, pp.15-24) + +index m1,m2,m3,m4,m5,m6,m7,m8,m9,m0; + + +index n1,n2,n3,n4,n5,n6,n7,n8,n9,n0; + + + +vecdim n; + + + + g(l,n1,n1); + + +n + + g(l,n1,m1,n1,m1); + + +n*( - n + 2) + + + g(l,n1,n2,n2,n1); + + + 2 +n + + g(l,n1,n2,m1,n2,n1,m1); + + + 2 +n*(n - 4*n + 4) + + g(l,n1,n2,m1,m2,n2,n1,m2,m1); + + + 3 2 +n*(n - 8*n + 24*n - 16) + + + g(l,n1,n2,n3,n3,n2,n1); + + + 3 +n + + g(l,n1,n2,n3,m1,n3,n2,n1,m1); + + + 3 2 +n*( - n + 6*n - 12*n + 8) + + g(l,n1,n2,n3,m1,m2,n3,n2,n1,m2,m1); + + + 4 3 2 +n*(n - 12*n + 60*n - 112*n + 64) + + g(l,n1,n2,n3,m1,m2,m3,n3,n2,n1,m3,m2,m1); + + + 5 4 3 2 +n*( - n + 18*n - 144*n + 528*n - 816*n + 416) + + g(l,n1,n2,n3,m1,n3,n1,n2,m1); + + + 3 2 +n*(n - 8*n + 16*n - 8) + + g(l,n1,n2,n3,m1,m2,n3,n1,n2,m1,m2); + + + 4 3 2 +n*(n - 16*n + 72*n - 120*n + 64) + + g(l,n1,n2,n3,m1,m2,m3,n2,n3,n1,m3,m1,m2); + + + 5 4 3 2 +n*( - n + 22*n - 172*n + 584*n - 848*n + 416) + + + +% COPYRIGHT (C) 1988,1990, INSTITUTE OF NUCLEAR PHYSICS, MOSCOW STATE U. +% CVITWEEL TEST OF CVITANOVIC PACKAGE +% AUTHOR A. KRYUKOV, ARODIONOV, A.TARANOV +% VERSION 1.2 +% RELEASE 11-MAR-90 + +index j1,j2,j3,j4,j5,j6,j7,j8,j9,j0; + + +vecdim n$ + + + +% Test of CVITANOVIC PACKAGE +% +% All tests are the weels with defferent spoke +% (Use notation from SIGSAM Bull, 1989, v.23, no.4, pp.15-24) + +g(l,j1,j2,j2,j1); + + + 2 +n + + +g(l,j1,j2,j3,j1,j2,j3); + + + 2 +n*( - n + 6*n - 4) + +g(l,j1,j2,j3,j1,j3,j2); + + + 2 +n*(n - 4*n + 4) + +g(l,j1,j2,j3,j3,j2,j1); + + + 3 +n + + +g(l,j1,j2,j3,j4,j1,j2,j3,j4); + + + 3 2 +n*(n - 12*n + 28*n - 16) + +g(l,j1,j2,j3,j4,j1,j2,j4,j3); + + + 3 2 +n*( - n + 10*n - 24*n + 16) + +g(l,j1,j2,j3,j4,j1,j4,j2,j3); + + + 3 2 +n*(n - 8*n + 16*n - 8) + +g(l,j1,j2,j3,j4,j1,j4,j3,j2); + + + 3 2 +n*( - n + 6*n - 12*n + 8) + + +g(l,j1,j2,j3,j4,j5,j1,j2,j3,j4,j5); + + + 4 3 2 +n*(n - 20*n + 100*n - 160*n + 80) + +g(l,j1,j2,j3,j4,j5,j1,j2,j3,j5,j4); + + + 4 3 2 +n*( - n + 18*n - 88*n + 152*n - 80) + +g(l,j1,j2,j3,j4,j5,j1,j2,j5,j3,j4); + + + 4 3 2 +n*(n - 16*n + 72*n - 120*n + 64) + +g(l,j1,j2,j3,j4,j5,j1,j2,j5,j4,j3); + + + 4 3 2 +n*( - n + 14*n - 60*n + 112*n - 64) + + +g(l,j1,j2,j3,j4,j5,j6,j1,j2,j3,j4,j5,j6); + + + 5 4 3 2 +n*( - n + 30*n - 260*n + 840*n - 1120*n + 512) + +g(l,j1,j2,j3,j4,j5,j6,j1,j2,j3,j4,j6,j5); + + + 5 4 3 2 +n*(n - 28*n + 236*n - 784*n + 1088*n - 512) + +g(l,j1,j2,j3,j4,j5,j6,j1,j2,j4,j3,j6,j5); + + + 5 4 3 2 +n*( - n + 26*n - 216*n + 736*n - 1056*n + 512) + +g(l,j1,j2,j3,j4,j5,j6,j1,j2,j6,j3,j4,j5); + + + 5 4 3 2 +n*(n - 24*n + 176*n - 536*n + 704*n - 320) + +g(l,j1,j2,j3,j4,j5,j6,j7,j1,j2,j3,j4,j5,j6,j7); + + + 6 5 4 3 2 +n*( - n + 42*n - 560*n + 3080*n - 7840*n + 9184*n - 3904) + +g(l,j1,j2,j3,j4,j5,j6,j7,j1,j2,j3,j4,j5,j7,j6); + + + 6 5 4 3 2 +n*(n - 40*n + 520*n - 2880*n + 7520*n - 9024*n + 3904) + +g(l,j1,j2,j3,j4,j5,j6,j7,j2,j1,j3,j4,j5,j6,j7); + + + 6 5 4 3 2 +n*(n - 40*n + 520*n - 2880*n + 7520*n - 9024*n + 3904) + + +% Test of example that calculated incorrectly in earlier package. + +index ix,iy,iz; + + +mass p1=mm, p2=mm, p3=mm, p4=mm, k1=0; + + +mshell p1,p2,p3,p4,k1; + + +vector q1,q2; + + +operator ga,gb; + + +for all p let ga(p)=g(la,p) + mm, + gb(p)=g(lb,p) + mm; + + +xx := g(la,ix)*g(la,iy)*(g(lb,ix)*gb(p1)*g(lb,iy)*gb(q2) + + gb(p3)*g(lb,ix)*g(lb,iy)); + + + 2 +xx := - p1.q2*n + 2*p1.q2 + mm *n + mm*n + +let q1=p1-k1, q2=p3+k1; + + + +xx; + + + 2 + - k1.p1*n + 2*k1.p1 - p1.p3*n + 2*p1.p3 + mm *n + mm*n + + +end; +(TIME: cvit 1820 1820)