Riemann6ab2 = Table[RicciR[la,lb] *
RiemannR[Unlist[all6ab2part[[i,1]]]]*
RiemannR[Unlist[all6ab2part[[i,2]]]],{i,1,Length[all6ab2part]}]
Out[60]=
a bd a bd a bd
{0, 0, -(R R R ), R R R , -(R R R ),
ab d ab d ab d
a bd b ad b ad
R R R , 0, 0, -(R R R ), R R R ,
ab d ab d ab d
b ad b ad a be a be
-(R R R ), R R R , R R R , -(R R R ),
ab d ab d ab e ab e
a be a be b ae
R R R , -(R R R ), 0, 0, R R R ,
ab e ab e ab e
b ae b ae b ae
-(R R R ), R R R , -(R R R ), 0, 0, 0, 0,
ab e ab e ab e
a bd a bd a bd a bd
R R R , -(R R R ), R R R , -(R R R ),
ab d ab d ab d ab d
a bcde a bcde
0, 0, 0, 0, 0, 0, -(R R R ), R R R ,
ab c de ab c de
a bdce a bdce a becd
-(R R R ), R R R , -(R R R ),
ab c de ab c de ab c de
a becd a e dbc a e dbc
R R R , R R R , -(R R R ),
ab c de ab c d e ab c d e
a e cbd a e cbd a e bcd
R R R , -(R R R ), R R R ,
ab c d e ab c d e ab c d e
a e bcd b ad b ad
-(R R R ), 0, 0, R R R , -(R R R ),
ab c d e ab d ab d
b ad b ad
R R R , -(R R R ), 0, 0, 0, 0, 0, 0,
ab d ab d
a d ebc a d ebc a d bce
R R R , -(R R R ), -(R R R ),
ab c e d ab c e d ab c e d
a d bce a d cbe a d cbe
R R R , -(R R R ), R R R ,
ab c e d ab c e d ab c e d
ade bc ade bc ade b c
-(R R R ), R R R , -(R R R ),
ab c de ab c de ab c d e
ade b c ade c b ade c b
R R R , -(R R R ), R R R ,
ab c d e ab c d e ab c d e
a be a be a be a be
-(R R R ), R R R , -(R R R ), R R R ,
ab e ab e ab e ab e
a bcde a bcde
0, 0, R R R , -(R R R ),
ab c de ab c de
a bdce a bdce a becd
R R R , -(R R R ), R R R ,
ab c de ab c de ab c de
a becd a d ebc a d ebc
-(R R R ), -(R R R ), R R R ,
ab c de ab c e d ab c e d
a d bce a d bce a d cbe
R R R , -(R R R ), R R R ,
ab c e d ab c e d ab c e d
a d cbe b ae
-(R R R ), 0, 0, 0, 0, 0, 0, -(R R R ),
ab c e d ab e
b ae b ae b ae
R R R , -(R R R ), R R R , 0, 0,
ab e ab e ab e
a e dbc a e dbc a e cbd
-(R R R ), R R R , -(R R R ),
ab c d e ab c d e ab c d e
a e cbd a e bcd a e bcd
R R R , -(R R R ), R R R ,
ab c d e ab c d e ab c d e
ade bc ade bc ade b c
R R R , -(R R R ), R R R ,
ab c de ab c de ab c d e
ade b c ade c b ade c b
-(R R R ), R R R , -(R R R ),
ab c d e ab c d e ab c d e
a bd a bd
0, 0, 0, 0, 0, 0, 0, 0, -(R R R ), R R R ,
ab d ab d
a bd a bd b ad
-(R R R ), R R R , 0, 0, -(R R R ),
ab d ab d ab d
b ad b ad b ad a be
R R R , -(R R R ), R R R , R R R ,
ab d ab d ab d ab e
a be a be a be
-(R R R ), R R R , -(R R R ), 0, 0,
ab e ab e ab e
b ae b ae b ae b ae
R R R , -(R R R ), R R R , -(R R R ),
ab e ab e ab e ab e
a bd a bd a bd
0, 0, 0, 0, R R R , -(R R R ), R R R ,
ab d ab d ab d
a bd bde ac
-(R R R ), 0, 0, 0, 0, 0, 0, -(R R R ),
ab d ab c de
bde ac ebd ac ebd ac
R R R , R R R , -(R R R ),
ab c de ab c de ab c de
dbe ac dbe ac b d eac
R R R , -(R R R ), R R R ,
ab c de ab c de ab c e d
b d eac bd eac bd eac
-(R R R ), R R R , -(R R R ),
ab c e d ab ce d ab ce d
d b eac d b eac b ad
-(R R R ), R R R , 0, 0, R R R ,
ab c e d ab c e d ab d
b ad b ad b ad
-(R R R ), R R R , -(R R R ), 0, 0, 0, 0,
ab d ab d ab d
b e dac b e dac
0, 0, R R R , -(R R R ),
ab c d e ab c d e
e b dac e b dac be dac
R R R , -(R R R ), -(R R R ),
ab c d e ab c d e ab cd e
be dac b acde b acde
R R R , -(R R R ), R R R ,
ab cd e ab c de ab c de
b acde b acde b acde
-(R R R ), R R R , -(R R R ),
ab ced ab ced ab cde
b acde a be a be
R R R , -(R R R ), R R R ,
ab cde ab e ab e
a be a be bde ac
-(R R R ), R R R , 0, 0, R R R ,
ab e ab e ab c de
bde ac ebd ac ebd ac
-(R R R ), -(R R R ), R R R ,
ab c de ab c de ab c de
dbe ac dbe ac b e dac
-(R R R ), R R R , -(R R R ),
ab c de ab c de ab c d e
b e dac e b dac e b dac
R R R , -(R R R ), R R R ,
ab c d e ab c d e ab c d e
be dac be dac
R R R , -(R R R ), 0, 0, 0, 0, 0, 0,
ab cd e ab cd e
b ae b ae b ae b ae
-(R R R ), R R R , -(R R R ), R R R ,
ab e ab e ab e ab e
b d eac b d eac
0, 0, -(R R R ), R R R ,
ab c e d ab c e d
bd eac bd eac d b eac
-(R R R ), R R R , R R R ,
ab ce d ab ce d ab c e d
d b eac b acde b acde
-(R R R ), R R R , -(R R R ),
ab c e d ab c de ab c de
b acde b acde b acde
R R R , -(R R R ), R R R ,
ab ced ab ced ab cde
b acde
-(R R R ), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
ab cde
a bc a bc a bc
0, 0, R R R , -(R R R ), R R R ,
ab c ab c ab c
a bc a bcde a bcde
-(R R R ), -(R R R ), R R R ,
ab c ab ced ab ced
a bdce a bdce a becd
-(R R R ), R R R , -(R R R ),
ab ced ab ced ab ced
a becd e a dbc e a dbc
R R R , R R R , -(R R R ),
ab ced ab c d e ab c d e
e a cbd e a cbd e a bcd
R R R , -(R R R ), R R R ,
ab c d e ab c d e ab c d e
e a bcd b ac
-(R R R ), 0, 0, 0, 0, 0, 0, 0, 0, R R R ,
ab c d e ab c
b ac b ac b ac
-(R R R ), R R R , -(R R R ),
ab c ab c ab c
bde a c bde a c ebd a c
-(R R R ), R R R , R R R ,
ab c d e ab c d e ab c d e
ebd a c dbe a c dbe a c
-(R R R ), R R R , -(R R R ),
ab c d e ab c d e ab c d e
b d ace b d ace bd ace
-(R R R ), R R R , -(R R R ),
ab c e d ab c e d ab ce d
bd ace d b ace d b ace
R R R , R R R , -(R R R ), 0,
ab ce d ab c e d ab c e d
a bc a bc a bc
0, -(R R R ), R R R , -(R R R ),
ab c ab c ab c
a bc b ac b ac
R R R , 0, 0, -(R R R ), R R R ,
ab c ab c ab c
b ac b ac a be a be
-(R R R ), R R R , R R R , -(R R R ),
ab c ab c ab e ab e
a be a be b ae
R R R , -(R R R ), 0, 0, R R R ,
ab e ab e ab e
b ae b ae b ae
-(R R R ), R R R , -(R R R ), 0, 0,
ab e ab e ab e
a bcde a bcde a bdce
R R R , -(R R R ), R R R ,
ab ced ab ced ab ced
a bdce a becd a becd
-(R R R ), R R R , -(R R R ),
ab ced ab ced ab ced
bde a c bde a c ebd a c
R R R , -(R R R ), -(R R R ),
ab c d e ab c d e ab c d e
ebd a c dbe a c dbe a c
R R R , -(R R R ), R R R ,
ab c d e ab c d e ab c d e
a be a be a be a be
-(R R R ), R R R , -(R R R ), R R R ,
ab e ab e ab e ab e
e a dbc
0, 0, 0, 0, 0, 0, 0, 0, -(R R R ),
ab c d e
e a dbc e a cbd e a cbd
R R R , -(R R R ), R R R ,
ab c d e ab c d e ab c d e
e a bcd e a bcd b d ace
-(R R R ), R R R , R R R ,
ab c d e ab c d e ab c e d
b d ace bd ace bd ace
-(R R R ), R R R , -(R R R ),
ab c e d ab ce d ab ce d
d b ace d b ace b ae
-(R R R ), R R R , -(R R R ),
ab c e d ab c e d ab e
b ae b ae b ae
R R R , -(R R R ), R R R , 0, 0, 0, 0, 0,
ab e ab e ab e
a bc
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, R R R ,
ab c
a bc a bc a bc
-(R R R ), R R R , -(R R R ),
ab c ab c ab c
ad ebc ad ebc ad bce
R R R , -(R R R ), -(R R R ),
ab ce d ab ce d ab ce d
ad bce ad cbe ad cbe
R R R , -(R R R ), R R R ,
ab ce d ab ce d ab ce d
ead bc ead bc ead b c
R R R , -(R R R ), R R R ,
ab c de ab c de ab c d e
ead b c ead c b ead c b
-(R R R ), R R R , -(R R R ),
ab c d e ab c d e ab c d e
b ac b ac
0, 0, 0, 0, 0, 0, 0, 0, R R R , -(R R R ),
ab c ab c
b ac b ac b e cad
R R R , -(R R R ), R R R ,
ab c ab c ab c d e
b e cad e b cad e b cad
-(R R R ), R R R , -(R R R ),
ab c d e ab c d e ab c d e
be cad be cad b adce
-(R R R ), R R R , -(R R R ),
ab cd e ab cd e ab c de
b adce b adce b adce
R R R , -(R R R ), R R R ,
ab c de ab ced ab ced
b adce b adce
-(R R R ), R R R , 0, 0,
ab cde ab cde
a bc a bc a bc a bc
-(R R R ), R R R , -(R R R ), R R R ,
ab c ab c ab c ab c
b ac b ac b ac
0, 0, -(R R R ), R R R , -(R R R ),
ab c ab c ab c
b ac a be a be a be
R R R , R R R , -(R R R ), R R R ,
ab c ab e ab e ab e
a be b ae b ae
-(R R R ), 0, 0, R R R , -(R R R ),
ab e ab e ab e
b ae b ae ad ebc
R R R , -(R R R ), 0, 0, -(R R R ),
ab e ab e ab ce d
ad ebc ad bce ad bce
R R R , R R R , -(R R R ),
ab ce d ab ce d ab ce d
ad cbe ad cbe b e cad
R R R , -(R R R ), -(R R R ),
ab ce d ab ce d ab c d e
b e cad e b cad e b cad
R R R , -(R R R ), R R R ,
ab c d e ab c d e ab c d e
be cad be cad a be
R R R , -(R R R ), -(R R R ),
ab cd e ab cd e ab e
a be a be a be
R R R , -(R R R ), R R R , 0, 0, 0, 0, 0,
ab e ab e ab e
ead bc ead bc
0, 0, 0, -(R R R ), R R R ,
ab c de ab c de
ead b c ead b c ead c b
-(R R R ), R R R , -(R R R ),
ab c d e ab c d e ab c d e
ead c b b adce b adce
R R R , R R R , -(R R R ),
ab c d e ab c de ab c de
b adce b adce b adce
R R R , -(R R R ), R R R ,
ab ced ab ced ab cde
b adce b ae b ae
-(R R R ), -(R R R ), R R R ,
ab cde ab e ab e
b ae b ae
-(R R R ), R R R , 0, 0, 0, 0, 0, 0, 0, 0, 0,
ab e ab e
a bcde a bcde
0, 0, 0, 0, 0, -(R R R ), R R R ,
ab cde ab cde
a bdce a bdce a becd
-(R R R ), R R R , -(R R R ),
ab cde ab cde ab cde
a becd d a ebc d a ebc
R R R , -(R R R ), R R R ,
ab cde ab c e d ab c e d
d a bce d a bce d a cbe
R R R , -(R R R ), R R R ,
ab c e d ab c e d ab c e d
d a cbe a bc a bc
-(R R R ), 0, 0, R R R , -(R R R ),
ab c e d ab c ab c
a bc a bc
R R R , -(R R R ), 0, 0, 0, 0, 0, 0,
ab c ab c
bde c a bde c a ebd c a
-(R R R ), R R R , R R R ,
ab c d e ab c d e ab c d e
ebd c a dbe c a dbe c a
-(R R R ), R R R , -(R R R ),
ab c d e ab c d e ab c d e
b e acd b e acd e b acd
R R R , -(R R R ), R R R ,
ab c d e ab c d e ab c d e
e b acd be acd be acd
-(R R R ), -(R R R ), R R R ,
ab c d e ab cd e ab cd e
b ac b ac b ac
0, 0, R R R , -(R R R ), R R R ,
ab c ab c ab c
b ac a bcde a bcde
-(R R R ), R R R , -(R R R ),
ab c ab cde ab cde
a bdce a bdce a becd
R R R , -(R R R ), R R R ,
ab cde ab cde ab cde
a becd bde c a bde c a
-(R R R ), R R R , -(R R R ),
ab cde ab c d e ab c d e
ebd c a ebd c a dbe c a
-(R R R ), R R R , -(R R R ),
ab c d e ab c d e ab c d e
dbe c a a bd
R R R , 0, 0, 0, 0, 0, 0, -(R R R ),
ab c d e ab d
a bd a bd a bd
R R R , -(R R R ), R R R , 0, 0,
ab d ab d ab d
d a ebc d a ebc d a bce
R R R , -(R R R ), -(R R R ),
ab c e d ab c e d ab c e d
d a bce d a cbe d a cbe
R R R , -(R R R ), R R R ,
ab c e d ab c e d ab c e d
b e acd b e acd e b acd
-(R R R ), R R R , -(R R R ),
ab c d e ab c d e ab c d e
e b acd be acd be acd
R R R , R R R , -(R R R ), 0,
ab c d e ab cd e ab cd e
b ad b ad
0, 0, 0, 0, 0, -(R R R ), R R R ,
ab d ab d
b ad b ad a bc
-(R R R ), R R R , 0, 0, 0, 0, -(R R R ),
ab d ab d ab c
a bc a bc a bc
R R R , -(R R R ), R R R , 0, 0,
ab c ab c ab c
b ac b ac b ac b ac
-(R R R ), R R R , -(R R R ), R R R ,
ab c ab c ab c ab c
a bd a bd a bd a bd
R R R , -(R R R ), R R R , -(R R R ),
ab d ab d ab d ab d
b ad b ad b ad
0, 0, R R R , -(R R R ), R R R ,
ab d ab d ab d
b ad
-(R R R ), 0, 0, 0, 0, 0, 0, 0, 0,
ab d
ae dbc ae dbc ae cbd
-(R R R ), R R R , -(R R R ),
ab cd e ab cd e ab cd e
ae cbd ae bcd ae bcd
R R R , -(R R R ), R R R ,
ab cd e ab cd e ab cd e
dae bc dae bc dae b c
R R R , -(R R R ), R R R ,
ab c de ab c de ab c d e
dae b c dae c b dae c b
-(R R R ), R R R , -(R R R ),
ab c d e ab c d e ab c d e
a bc a bc a bc
0, 0, R R R , -(R R R ), R R R ,
ab c ab c ab c
a bc b d cae
-(R R R ), 0, 0, 0, 0, 0, 0, -(R R R ),
ab c ab c e d
b d cae bd cae bd cae
R R R , -(R R R ), R R R ,
ab c e d ab ce d ab ce d
d b cae d b cae b aecd
R R R , -(R R R ), -(R R R ),
ab c e d ab c e d ab c de
b aecd b aecd b aecd
R R R , -(R R R ), R R R ,
ab c de ab ced ab ced
b aecd b aecd b ac
-(R R R ), R R R , 0, 0, R R R ,
ab cde ab cde ab c
b ac b ac b ac
-(R R R ), R R R , -(R R R ),
ab c ab c ab c
ae dbc ae dbc ae cbd
R R R , -(R R R ), R R R ,
ab cd e ab cd e ab cd e
ae cbd ae bcd ae bcd
-(R R R ), R R R , -(R R R ),
ab cd e ab cd e ab cd e
b d cae b d cae bd cae
R R R , -(R R R ), R R R ,
ab c e d ab c e d ab ce d
bd cae d b cae d b cae
-(R R R ), -(R R R ), R R R ,
ab ce d ab c e d ab c e d
a bd a bd
0, 0, 0, 0, 0, 0, -(R R R ), R R R ,
ab d ab d
a bd a bd dae bc
-(R R R ), R R R , 0, 0, -(R R R ),
ab d ab d ab c de
dae bc dae b c dae b c
R R R , -(R R R ), R R R ,
ab c de ab c d e ab c d e
dae c b dae c b b aecd
-(R R R ), R R R , R R R ,
ab c d e ab c d e ab c de
b aecd b aecd b aecd
-(R R R ), R R R , -(R R R ),
ab c de ab ced ab ced
b aecd b aecd
R R R , -(R R R ), 0, 0, 0, 0, 0, 0,
ab cde ab cde
b ad b ad b ad b ad
-(R R R ), R R R , -(R R R ), R R R ,
ab d ab d ab d ab d
a bc a bc a bc
0, 0, 0, 0, -(R R R ), R R R , -(R R R ),
ab c ab c ab c
a bc b ac b ac
R R R , 0, 0, -(R R R ), R R R ,
ab c ab c ab c
b ac b ac a bd a bd
-(R R R ), R R R , R R R , -(R R R ),
ab c ab c ab d ab d
a bd a bd b ad
R R R , -(R R R ), 0, 0, R R R ,
ab d ab d ab d
b ad b ad b ad
-(R R R ), R R R , -(R R R ), 0, 0}
ab d ab d ab d
Up to A Very Large Scale Pattern Matching Problem in MathTensor