boundlab.diff.zono3.diff_interpreter#

boundlab.diff.zono3.diff_interpreter(*extra, domain=<class 'boundlab.zono.Zono'>, tighten=True, after_each=None)[source]#

Assemble a differential interpreter over domain.

domain is the expression class fresh error symbols are built in — Zono here, PolySp for boundlab.diff.polysp3. tighten keeps the per-element choice between the lineariser’s difference form and x_out − y_out; turning it off is cheaper but loses precision.

Each differential handler owns its operator: the standard handler for plain expressions rides along as its fallback instead of being registered beside it, so no operator ever has two ready handlers.