boundlab.diff.zono3.apply_diff_bounds#

boundlab.diff.zono3.apply_diff_bounds(bounds, triple, domain=<class 'boundlab.zono.Zono'>, tighten=True)[source]#

Realise bounds against the input triple in the given domain.

domain is the expression class used for fresh error symbols — Zono for boundlab.diff.zono3, PolySp for boundlab.diff.polysp3.