Inconsistent LP certificate #169
Description
Describe the bug
In a broadcast scenario I have a correlation p1 which is identified as nonclassical, and another p0 which is identified as classical. The certificate which certifies the infeasibility of p1 does not have a classical bound that is 0, as the documentation specifies.
To Reproduce
Change from .txt to .py and run "example.py".
Expected behavior
The certificate should be such that cert(p) <= 0 certifies p is incompatible with the DAG. That is, the local bound should be included in the certificate such that it is 0.
OS Information:
Inflation Version: 2.0.2
NumPy Version: 1.26.4
SciPy Version: 1.12.0
SymPy Version: 1.12
Numba Version: 0.59.1
Mosek Version: 10.1.28
Python Version: 3.11.9
Platform Info: Darwin (arm64)
Additional context
None