After all trace diagrams have been computed, we calculate the regulariser contributions of each diagram by slicing one Fermion line at a time. The resulting expression is again checked for proper scaling and uniqueness. The latter is determined via a symbolic representation using the adcgen library, an extension of the SymPy module for Python. Each resulting term is multiplied by a linear parameter. If the term is defined in the occupied space, its trace divided by the number of electrons is subtracted to ensure tracelessness. Since an expression resulting from slicing a trace diagram is not necessarily Hermitian, we need to manually enforce hermiticity. We therefore transform a term R pq â † p âq as follows: