reduce-historical/r34/lib/cvit.log

REDUCE 3.4, 15-Jul-91 ...

1: 
(CVIT)


% 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 + N*MM  + N*MM

let q1=p1-k1, q2=p3+k1;



xx;


                                               2
 - P1.P3*N + 2*P1.P3 - P1.K1*N + 2*P1.K1 + N*MM  + N*MM


end;


Quitting