User blog comment:Mh314159/A hopefully powerful new system/@comment-35470197-20190628050713/@comment-35470197-20190628135340

I could not precisely understand cycle factorial rule, because it is formalised only for the specific cases [p]\[1][a] and [p]\[a][1]. Describing rule sets by the natural language is very ambiguous, and hence I could not understand why [1]\[3][2] = 1\[2]^{[3][1]}[2]. Could you explain the full rule sets of cycle factorial rule using mathematical formulae?