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)