%% /. CyclicRule
Out[115]=
p p p p
R R R R R R R R
pdef abc pedf abc pcef abd pecf abd
----------- - ----------- + ----------- - ----------- +
18 9 18 9
p p p p
R R R R R R R R
pcdf abe pdcf abe pcde abf pdce abf
----------- - ----------- + ----------- - ----------- -
18 9 18 9
p p p
7 R R R R 4 (-R + R ) R
pdef acb pedf acb pdef pedf acb
------------- + ----------- + ------------------------ -
90 9 45
p p
7 R (-R + R )
pedf abc acb
------------------------ +
90
p p p
(-R + R ) (-R + R ) R R
pdef pedf abc acb pbef acd
--------------------------------- + ----------- -
18 18
p p p p
R R R R R R R R
pebf acd pbdf ace pdbf ace pbde acf
----------- + ----------- - ----------- + ----------- -
9 18 9 18
p p p
R R 7 R R R R
pdbe acf pcef adb pecf adb
----------- - ------------- + ----------- +
9 90 9
p p p
4 (-R + R ) R 7 R (-R + R )
pcef pecf adb pecf abd adb
------------------------ - ------------------------ +
45 90
p p p
(-R + R ) (-R + R ) 7 R R
pcef pecf abd adb pbef adc
--------------------------------- - ------------- +
18 90
p p
14 R R (-R + R ) R
pebf adc pbef pebf adc
-------------- - ---------------------- -
45 9
p p
7 R (-R + R )
pebf acd adc
------------------------ +
90
p p p
(-R + R ) (-R + R ) R R
pbef pebf acd adc pbcf ade
--------------------------------- + ----------- -
18 18
p p p p
R R R R R R 7 R R
pcbf ade pbce adf pcbe adf pcdf aeb
----------- + ----------- - ----------- - ------------- +
9 18 9 90
p p
R R 4 (-R + R ) R
pdcf aeb pcdf pdcf aeb
----------- + ------------------------ -
9 45
p p
7 R (-R + R )
pdcf abe aeb
------------------------ +
90
p p p
(-R + R ) (-R + R ) 7 R R
pcdf pdcf abe aeb pbdf aec
--------------------------------- - ------------- +
18 90
p p
14 R R (-R + R ) R
pdbf aec pbdf pdbf aec
-------------- - ---------------------- -
45 9
p p
7 R (-R + R )
pdbf ace aec
------------------------ +
90
p p p
(-R + R ) (-R + R ) 7 R R
pbdf pdbf ace aec pbcf aed
--------------------------------- - ------------- +
18 90
p p
14 R R (-R + R ) R
pcbf aed pbcf pcbf aed
-------------- - ---------------------- -
45 9
p p
7 R (-R + R )
pcbf ade aed
------------------------ +
90
p p p
(-R + R ) (-R + R ) R R
pbcf pcbf ade aed pbcd aef
--------------------------------- + ----------- -
18 18
p p p
R R 7 R R R R
pcbd aef pcde afb pdce afb
----------- - ------------- + ----------- +
9 90 9
p p p
4 (-R + R ) R 7 R (-R + R )
pcde pdce afb pdce abf afb
------------------------ - ------------------------ +
45 90
p p p
(-R + R ) (-R + R ) 7 R R
pcde pdce abf afb pbde afc
--------------------------------- - ------------- +
18 90
p p
14 R R (-R + R ) R
pdbe afc pbde pdbe afc
-------------- - ---------------------- -
45 9
p p
7 R (-R + R )
pdbe acf afc
------------------------ +
90
p p p
(-R + R ) (-R + R ) 7 R R
pbde pdbe acf afc pbce afd
--------------------------------- - ------------- +
18 90
p p
14 R R (-R + R ) R
pcbe afd pbce pcbe afd
-------------- - ---------------------- -
45 9
p p
7 R (-R + R )
pcbe adf afd
------------------------ +
90
p p p
(-R + R ) (-R + R ) 7 R R
pbce pcbe adf afd pbcd afe
--------------------------------- - ------------- +
18 90
p p
14 R R (-R + R ) R
pcbd afe pbcd pcbd afe
-------------- - ---------------------- -
45 9
p p
7 R (-R + R )
pcbd aef afe
------------------------ +
90
p p
(-R + R ) (-R + R )
pbcd pcbd aef afe
---------------------------------
18
Up to A Very Large Scale Pattern Matching Problem in MathTensor