Riemann6ab = Table[RicciR[la,lb] *
RiemannR[Unlist[all6abpart[[i,1]]]]*
RiemannR[Unlist[all6abpart[[i,2]]]],{i,1,Length[all6abpart]}]
Out[52]=
ab ab ab ab
{0, 0, R R R , -(R R R ), R R R , -(R R R ), 0,
ab ab ab ab
ab ab ab ab
0, R R R , -(R R R ), R R R , -(R R R ),
ab ab ab ab
ab ab ab ab
-(R R R ), R R R , -(R R R ), R R R , 0, 0,
ab ab ab ab
ab ab ab ab
-(R R R ), R R R , -(R R R ), R R R , 0, 0,
ab ab ab ab
cd a b cd a b cd a b
0, 0, R R R , -(R R R ), R R R ,
ab c d ab c d ab c d
cd a b cd a b cd a b
-(R R R ), 0, 0, R R R , -(R R R ),
ab c d ab c d ab c d
cd a b cd a b cd a b
R R R , -(R R R ), -(R R R ),
ab c d ab c d ab c d
cd a b cd a b cd a b
R R R , -(R R R ), R R R , 0, 0,
ab c d ab c d ab c d
cd a b cd a b cd a b
-(R R R ), R R R , -(R R R ),
ab c d ab c d ab c d
cd a b c abd
R R R , 0, 0, 0, 0, -(R R R ),
ab c d ab d c
c abd c abd c abd
R R R , -(R R R ), R R R , 0, 0,
ab d c ab d c ab d c
c abd c abd c abd
-(R R R ), R R R , -(R R R ),
ab d c ab d c ab d c
c abd c abd c abd
R R R , R R R , -(R R R ),
ab d c ab d c ab d c
c abd c abd c abd
R R R , -(R R R ), 0, 0, R R R ,
ab d c ab d c ab d c
c abd c abd c abd
-(R R R ), R R R , -(R R R ), 0, 0,
ab d c ab d c ab d c
ce a b ce a b ce a b
-(R R R ), R R R , -(R R R ),
ab c e ab c e ab c e
ce a b ce a b ce a b
R R R , 0, 0, R R R , -(R R R ), 0,
ab c e ab c e ab c e
ce a b ce a b ce a b
0, -(R R R ), R R R , R R R ,
ab c e ab c e ab c e
ce a b ce a b ce a b
-(R R R ), 0, 0, -(R R R ), R R R ,
ab c e ab c e ab c e
ce a b ce a b ce a b
0, 0, R R R , -(R R R ), R R R ,
ab c e ab c e ab c e
ce a b c abe c abe
-(R R R ), R R R , -(R R R ),
ab c e ab e c ab e c
c abe c abe c abe
R R R , -(R R R ), 0, 0, -(R R R ),
ab e c ab e c ab e c
c abe c abe c abe
R R R , 0, 0, R R R , -(R R R ),
ab e c ab e c ab e c
c abe c abe c abe
-(R R R ), R R R , 0, 0, R R R ,
ab e c ab e c ab e c
c abe c abe c abe
-(R R R ), 0, 0, -(R R R ), R R R ,
ab e c ab e c ab e c
c abe c abe ab
-(R R R ), R R R , 0, 0, R R R ,
ab e c ab e c ab
ab ab ab ab
-(R R R ), R R R , -(R R R ), 0, 0, R R R ,
ab ab ab ab
ab ab ab ab
-(R R R ), R R R , -(R R R ), -(R R R ),
ab ab ab ab
ab ab ab ab
R R R , -(R R R ), R R R , 0, 0, -(R R R ),
ab ab ab ab
ab ab ab
R R R , -(R R R ), R R R , 0, 0, 0, 0,
ab ab ab
d bac d bac d bac
-(R R R ), R R R , -(R R R ),
ab c d ab c d ab c d
d bac d bac d bac
R R R , 0, 0, -(R R R ), R R R ,
ab c d ab c d ab c d
d bac d bac d bac
-(R R R ), R R R , R R R ,
ab c d ab c d ab c d
d bac d bac d bac
-(R R R ), R R R , -(R R R ), 0, 0,
ab c d ab c d ab c d
d bac d bac d bac
R R R , -(R R R ), R R R ,
ab c d ab c d ab c d
d bac acbd
-(R R R ), 0, 0, 0, 0, R R R ,
ab c d ab cd
acbd acbd acbd
-(R R R ), R R R , -(R R R ), 0, 0,
ab cd ab cd ab cd
acbd acbd acbd
R R R , -(R R R ), R R R ,
ab cd ab cd ab cd
acbd acbd acbd
-(R R R ), -(R R R ), R R R ,
ab cd ab cd ab cd
acbd acbd acbd
-(R R R ), R R R , 0, 0, -(R R R ),
ab cd ab cd ab cd
acbd acbd acbd
R R R , -(R R R ), R R R , 0, 0,
ab cd ab cd ab cd
e bac e bac e bac
R R R , -(R R R ), R R R ,
ab c e ab c e ab c e
e bac e bac e bac
-(R R R ), 0, 0, -(R R R ), R R R ,
ab c e ab c e ab c e
e bac e bac e bac
0, 0, R R R , -(R R R ), -(R R R ),
ab c e ab c e ab c e
e bac e bac e bac
R R R , 0, 0, R R R , -(R R R ), 0,
ab c e ab c e ab c e
e bac e bac e bac
0, -(R R R ), R R R , -(R R R ),
ab c e ab c e ab c e
e bac acbe acbe
R R R , -(R R R ), R R R ,
ab c e ab ce ab ce
acbe acbe acbe
-(R R R ), R R R , 0, 0, R R R ,
ab ce ab ce ab ce
acbe acbe acbe
-(R R R ), 0, 0, -(R R R ), R R R ,
ab ce ab ce ab ce
acbe acbe acbe
R R R , -(R R R ), 0, 0, -(R R R ),
ab ce ab ce ab ce
acbe acbe acbe
R R R , 0, 0, R R R , -(R R R ),
ab ce ab ce ab ce
acbe acbe cd b a
R R R , -(R R R ), 0, 0, R R R ,
ab ce ab ce ab c d
cd b a cd b a cd b a
-(R R R ), R R R , -(R R R ), 0, 0,
ab c d ab c d ab c d
cd b a cd b a cd b a
R R R , -(R R R ), R R R ,
ab c d ab c d ab c d
cd b a cd b a cd b a
-(R R R ), -(R R R ), R R R ,
ab c d ab c d ab c d
cd b a cd b a cd b a
-(R R R ), R R R , 0, 0, -(R R R ),
ab c d ab c d ab c d
cd b a cd b a cd b a
R R R , -(R R R ), R R R , 0, 0, 0,
ab c d ab c d ab c d
d abc d abc d abc
0, -(R R R ), R R R , -(R R R ),
ab c d ab c d ab c d
d abc d abc d abc
R R R , 0, 0, -(R R R ), R R R ,
ab c d ab c d ab c d
d abc d abc d abc
-(R R R ), R R R , R R R ,
ab c d ab c d ab c d
d abc d abc d abc
-(R R R ), R R R , -(R R R ), 0, 0,
ab c d ab c d ab c d
d abc d abc d abc
R R R , -(R R R ), R R R ,
ab c d ab c d ab c d
d abc ab ab
-(R R R ), 0, 0, 0, 0, R R R , -(R R R ),
ab c d ab ab
ab ab ab ab
R R R , -(R R R ), 0, 0, R R R , -(R R R ),
ab ab ab ab
ab ab ab ab
R R R , -(R R R ), -(R R R ), R R R ,
ab ab ab ab
ab ab ab ab
-(R R R ), R R R , 0, 0, -(R R R ), R R R ,
ab ab ab ab
ab ab de a b
-(R R R ), R R R , 0, 0, 0, 0, R R R ,
ab ab ab d e
de a b de a b de a b
-(R R R ), R R R , -(R R R ), 0, 0,
ab d e ab d e ab d e
de a b de a b de a b
R R R , -(R R R ), R R R ,
ab d e ab d e ab d e
de a b de a b de a b
-(R R R ), -(R R R ), R R R ,
ab d e ab d e ab d e
de a b de a b de a b
-(R R R ), R R R , 0, 0, -(R R R ),
ab d e ab d e ab d e
de a b de a b de a b
R R R , -(R R R ), R R R , 0, 0, 0,
ab d e ab d e ab d e
d abe d abe d abe
0, -(R R R ), R R R , -(R R R ),
ab e d ab e d ab e d
d abe d abe d abe
R R R , 0, 0, -(R R R ), R R R ,
ab e d ab e d ab e d
d abe d abe d abe
-(R R R ), R R R , R R R ,
ab e d ab e d ab e d
d abe d abe d abe
-(R R R ), R R R , -(R R R ), 0, 0,
ab e d ab e d ab e d
d abe d abe d abe
R R R , -(R R R ), R R R ,
ab e d ab e d ab e d
d abe c bad
-(R R R ), 0, 0, 0, 0, -(R R R ),
ab e d ab d c
c bad c bad c bad
R R R , -(R R R ), R R R , 0, 0,
ab d c ab d c ab d c
c bad c bad c bad
-(R R R ), R R R , -(R R R ),
ab d c ab d c ab d c
c bad c bad c bad
R R R , R R R , -(R R R ),
ab d c ab d c ab d c
c bad c bad c bad
R R R , -(R R R ), 0, 0, R R R ,
ab d c ab d c ab d c
c bad c bad c bad
-(R R R ), R R R , -(R R R ), 0, 0,
ab d c ab d c ab d c
adbc adbc adbc
0, 0, R R R , -(R R R ), R R R ,
ab cd ab cd ab cd
adbc adbc adbc
-(R R R ), 0, 0, R R R , -(R R R ),
ab cd ab cd ab cd
adbc adbc adbc
R R R , -(R R R ), -(R R R ),
ab cd ab cd ab cd
adbc adbc adbc
R R R , -(R R R ), R R R , 0, 0,
ab cd ab cd ab cd
adbc adbc adbc
-(R R R ), R R R , -(R R R ),
ab cd ab cd ab cd
adbc ab ab
R R R , 0, 0, 0, 0, R R R , -(R R R ),
ab cd ab ab
ab ab ab ab
R R R , -(R R R ), 0, 0, R R R , -(R R R ),
ab ab ab ab
ab ab ab ab
R R R , -(R R R ), -(R R R ), R R R ,
ab ab ab ab
ab ab ab ab
-(R R R ), R R R , 0, 0, -(R R R ), R R R ,
ab ab ab ab
ab ab e bad
-(R R R ), R R R , 0, 0, 0, 0, -(R R R ),
ab ab ab d e
e bad e bad e bad
R R R , -(R R R ), R R R , 0, 0,
ab d e ab d e ab d e
e bad e bad e bad
-(R R R ), R R R , -(R R R ),
ab d e ab d e ab d e
e bad e bad e bad
R R R , R R R , -(R R R ),
ab d e ab d e ab d e
e bad e bad e bad
R R R , -(R R R ), 0, 0, R R R ,
ab d e ab d e ab d e
e bad e bad e bad
-(R R R ), R R R , -(R R R ), 0, 0,
ab d e ab d e ab d e
adbe adbe adbe
0, 0, R R R , -(R R R ), R R R ,
ab de ab de ab de
adbe adbe adbe
-(R R R ), 0, 0, R R R , -(R R R ),
ab de ab de ab de
adbe adbe adbe
R R R , -(R R R ), -(R R R ),
ab de ab de ab de
adbe adbe adbe
R R R , -(R R R ), R R R , 0, 0,
ab de ab de ab de
adbe adbe adbe
-(R R R ), R R R , -(R R R ),
ab de ab de ab de
adbe ce b a ce b a
R R R , 0, 0, -(R R R ), R R R ,
ab de ab c e ab c e
ce b a ce b a ce b a
-(R R R ), R R R , 0, 0, R R R ,
ab c e ab c e ab c e
ce b a ce b a ce b a
-(R R R ), 0, 0, -(R R R ), R R R ,
ab c e ab c e ab c e
ce b a ce b a ce b a
R R R , -(R R R ), 0, 0, -(R R R ),
ab c e ab c e ab c e
ce b a ce b a ce b a
R R R , 0, 0, R R R , -(R R R ),
ab c e ab c e ab c e
ce b a ce b a e abc
R R R , -(R R R ), R R R ,
ab c e ab c e ab c e
e abc e abc e abc
-(R R R ), R R R , -(R R R ), 0, 0,
ab c e ab c e ab c e
e abc e abc e abc
-(R R R ), R R R , 0, 0, R R R ,
ab c e ab c e ab c e
e abc e abc e abc
-(R R R ), -(R R R ), R R R , 0, 0,
ab c e ab c e ab c e
e abc e abc e abc
R R R , -(R R R ), 0, 0, -(R R R ),
ab c e ab c e ab c e
e abc e abc e abc
R R R , -(R R R ), R R R , 0, 0,
ab c e ab c e ab c e
de b a de b a de b a
R R R , -(R R R ), R R R ,
ab d e ab d e ab d e
de b a de b a de b a
-(R R R ), 0, 0, R R R , -(R R R ),
ab d e ab d e ab d e
de b a de b a de b a
R R R , -(R R R ), -(R R R ),
ab d e ab d e ab d e
de b a de b a de b a
R R R , -(R R R ), R R R , 0, 0,
ab d e ab d e ab d e
de b a de b a de b a
-(R R R ), R R R , -(R R R ),
ab d e ab d e ab d e
de b a e abd
R R R , 0, 0, 0, 0, -(R R R ),
ab d e ab d e
e abd e abd e abd
R R R , -(R R R ), R R R , 0, 0,
ab d e ab d e ab d e
e abd e abd e abd
-(R R R ), R R R , -(R R R ),
ab d e ab d e ab d e
e abd e abd e abd
R R R , R R R , -(R R R ),
ab d e ab d e ab d e
e abd e abd e abd
R R R , -(R R R ), 0, 0, R R R ,
ab d e ab d e ab d e
e abd e abd e abd
-(R R R ), R R R , -(R R R ), 0, 0,
ab d e ab d e ab d e
ab ab ab ab
0, 0, R R R , -(R R R ), R R R , -(R R R ),
ab ab ab ab
ab ab ab ab
0, 0, R R R , -(R R R ), R R R , -(R R R ),
ab ab ab ab
ab ab ab ab
-(R R R ), R R R , -(R R R ), R R R , 0, 0,
ab ab ab ab
ab ab ab ab
-(R R R ), R R R , -(R R R ), R R R , 0, 0,
ab ab ab ab
c bae c bae c bae
R R R , -(R R R ), R R R ,
ab e c ab e c ab e c
c bae c bae c bae
-(R R R ), 0, 0, -(R R R ), R R R ,
ab e c ab e c ab e c
c bae c bae c bae
0, 0, R R R , -(R R R ), -(R R R ),
ab e c ab e c ab e c
c bae c bae c bae
R R R , 0, 0, R R R , -(R R R ), 0,
ab e c ab e c ab e c
c bae c bae c bae
0, -(R R R ), R R R , -(R R R ),
ab e c ab e c ab e c
c bae aebc aebc
R R R , -(R R R ), R R R ,
ab e c ab ce ab ce
aebc aebc aebc
-(R R R ), R R R , 0, 0, R R R ,
ab ce ab ce ab ce
aebc aebc aebc
-(R R R ), 0, 0, -(R R R ), R R R ,
ab ce ab ce ab ce
aebc aebc aebc
R R R , -(R R R ), 0, 0, -(R R R ),
ab ce ab ce ab ce
aebc aebc aebc
R R R , 0, 0, R R R , -(R R R ),
ab ce ab ce ab ce
aebc aebc d bae
R R R , -(R R R ), 0, 0, -(R R R ),
ab ce ab ce ab e d
d bae d bae d bae
R R R , -(R R R ), R R R , 0, 0,
ab e d ab e d ab e d
d bae d bae d bae
-(R R R ), R R R , -(R R R ),
ab e d ab e d ab e d
d bae d bae d bae
R R R , R R R , -(R R R ),
ab e d ab e d ab e d
d bae d bae d bae
R R R , -(R R R ), 0, 0, R R R ,
ab e d ab e d ab e d
d bae d bae d bae
-(R R R ), R R R , -(R R R ), 0, 0,
ab e d ab e d ab e d
aebd aebd aebd
0, 0, R R R , -(R R R ), R R R ,
ab de ab de ab de
aebd aebd aebd
-(R R R ), 0, 0, R R R , -(R R R ),
ab de ab de ab de
aebd aebd aebd
R R R , -(R R R ), -(R R R ),
ab de ab de ab de
aebd aebd aebd
R R R , -(R R R ), R R R , 0, 0,
ab de ab de ab de
aebd aebd aebd
-(R R R ), R R R , -(R R R ),
ab de ab de ab de
aebd ab ab
R R R , 0, 0, 0, 0, R R R , -(R R R ),
ab de ab ab
ab ab ab ab
R R R , -(R R R ), 0, 0, R R R , -(R R R ),
ab ab ab ab
ab ab ab ab
R R R , -(R R R ), -(R R R ), R R R ,
ab ab ab ab
ab ab ab ab
-(R R R ), R R R , 0, 0, -(R R R ), R R R ,
ab ab ab ab
ab ab
-(R R R ), R R R , 0, 0}
ab ab
Up to A Very Large Scale Pattern Matching Problem in MathTensor