we include a dummy bound of 999 on the total interaction strength. I wonder if we can instead treat the interaction count as another (integer-valued) polytope coordinate and thereby roll it into the induction with all the rest. This would bump up the dimension by 1 and make an already slow proof-checker slower, but it would be cleaner.
In a few locations in
interference.py, eghttps://github.com/Qiskit-Extensions/monodromy/blob/main/monodromy/static/interference.py#L51
we include a dummy bound of 999 on the total interaction strength. I wonder if we can instead treat the interaction count as another (integer-valued) polytope coordinate and thereby roll it into the induction with all the rest. This would bump up the dimension by 1 and make an already slow proof-checker slower, but it would be cleaner.