Closed r-barnes closed 1 year ago
From this doc I see:
As another example, the quotient expr / p is not DPP-compliant when p is a parameter, but this can be rewritten as expr * p_tilde, where p_tilde is a parameter that represents 1/p.
I'll try to incorporate this wisdom.
This is fixed in #21
This isn't DPP
specifically,
a / b
is not DPP.@AlexLipp