Auxiliary function for term reductions.

Automatically multiplies a single term with a given stabilizer if the Pauli operator on a given qubit is of one of two specified types. This fixes a certain representation of a logical operator.

term QubitOperator

Single term to fix.

position int

Index of the qubit which is to be fixed.

fixed_op str

Pauli operator, which will cause a multiplication by the stabilizer when encountered at the fixed position.

other_op str

Alternative Pauli operator, which will also cause the multiplication by the stabilizer.

stabilizer QubitOperator

Stabilizer that is multiplied when necessary.

term QubitOperator

Updated term in a fiixed representation.