kdrag.theories.real.arb.z3_mid_rad_of_arb

kdrag.theories.real.arb.z3_mid_rad_of_arb(x: arb) → tuple[ArithRef, ArithRef]

Get midpoint and radius as z3 values.

>>> z3_mid_rad_of_arb(arb(1))
(1, 0)
>>> z3_mid_rad_of_arb(arb(1) + arb(2))
(3, 0)