mula_18在加法算式中出现一次；对每一个满足formula_19的数对formula_20，formula_21是矩阵formula_3的第formula_23行第formula_24列的元素。formula_25表示置换formula_17的符号差，具体地说，满足formula_27但formula_28的有序数对formula_20称为formula_30的一个逆序。如果formula_30的逆序共有偶数个，则formula_32，如果共有奇数个，则formula_33。举例来说，对于3