Sympy-exact witness of the CIP priority-permutation parity identity using sympy.combinatorics. Permutation. The 3-cycle (0 1 2) acting on (1, 2, 3, 4) is an even permutation (decomposable as two transpositions: (0 2)(0 1)), so signature =…
Sympy-exact witness of the CIP priority-permutation parity identity using sympy.combinatorics. Permutation. The 3-cycle (0 1 2) acting on (1, 2, 3, 4) is an even permutation (decomposable as two transpositions: (0 2)(0 1)), so signature =…