ApplyRules[%,SigmaLimitSixRule]
Out[16]=
-R R R R R
acbd;ef acbe;df acbf;de adbc;ef adbe;cf
--------- - -------- - -------- - -------- - -------- -
5 5 5 5 5
R R R R R
adbf;ce aebc;df aebd;cf aebf;cd afbc;de
-------- - -------- - -------- - -------- - -------- -
5 5 5 5 5
p p
R R R R R R
afbd;ce afbe;cd pedf acb pfde acb
-------- - -------- + ----------- + ----------- +
5 5 45 45
p p p p
R R R R R R R R
pecf adb pfce adb pebf adc pfbe adc
----------- + ----------- + ----------- + ----------- +
45 45 45 45
p p p p
R R R R R R R R
pdcf aeb pfcd aeb pdbf aec pfbd aec
----------- + ----------- + ----------- + ----------- +
45 45 45 45
p p p p
R R R R R R R R
pcbf aed pfbc aed pdce afb pecd afb
----------- + ----------- + ----------- + ----------- +
45 45 45 45
p p p p
R R R R R R R R
pdbe afc pebd afc pcbe afd pebc afd
----------- + ----------- + ----------- + ----------- +
45 45 45 45
p p p p
R R R R R R R R
pcbd afe pdbc afe pedf a bc pfde a bc
----------- + ----------- + ----------- + ----------- +
45 45 18 18
p p p p
R R R R R R R R
pecf a bd pfce a bd pdcf a be pfcd a be
----------- + ----------- + ----------- + ----------- +
18 18 18 18
p p p p
R R R R R R R R
pdce a bf pecd a bf pebf a cd pfbe a cd
----------- + ----------- + ----------- + ----------- +
18 18 18 18
p p p p
R R R R R R R R
pdbf a ce pfbd a ce pdbe a cf pebd a cf
----------- + ----------- + ----------- + ----------- +
18 18 18 18
p p p p
R R R R R R R R
pcbf a de pfbc a de pcbe a df pebc a df
----------- + ----------- + ----------- + ----------- +
18 18 18 18
p p p p
R R R R R R R R
pcbd a ef pdbc a ef peaf bdc pfae bdc
----------- + ----------- + ----------- + ----------- +
18 18 45 45
p p p p
R R R R R R R R
pdaf bec pfad bec pcaf bed pfac bed
----------- + ----------- + ----------- + ----------- +
45 45 45 45
p p p p
R R R R R R R R
pdae bfc pead bfc pcae bfd peac bfd
----------- + ----------- + ----------- + ----------- +
45 45 45 45
p p p p
R R R R R R R R
pcad bfe pdac bfe peaf b cd pfae b cd
----------- + ----------- + ----------- + ----------- +
45 45 18 18
p p p p
R R R R R R R R
pdaf b ce pfad b ce pdae b cf pead b cf
----------- + ----------- + ----------- + ----------- +
18 18 18 18
p p p p
R R R R R R R R
pcaf b de pfac b de pcae b df peac b df
----------- + ----------- + ----------- + ----------- +
18 18 18 18
p p p p
R R R R R R R R
pcad b ef pdac b ef pbaf ced pfab ced
----------- + ----------- + ----------- + ----------- +
18 18 45 45
p p p p
R R R R R R R R
pbae cfd peab cfd pbad cfe pdab cfe
----------- + ----------- + ----------- + ----------- -
45 45 45 45
p p p
13 R R R R 13 R R
pbaf c de pfab c de pbae c df
-------------- + ----------- - -------------- +
90 18 90
p p p
R R 13 R R R R
peab c df pbad c ef pdab c ef
----------- - -------------- + ----------- +
18 90 18
p p p p
R R R R 13 R R R R
pbac dfe pcab dfe pbac d ef pcab d ef
----------- + ----------- - -------------- + -----------
45 45 90 18
Up to A Very Large Scale Pattern Matching Problem in MathTensor