kdrag.theories.real.arb.arb_over_of_mid_rad

kdrag.theories.real.arb.arb_over_of_mid_rad(mid: ArithRef, rad: ArithRef) → arb

Get overapproximating arb from midpoint and radius.

>>> arb_over_of_mid_rad(1, 0)
1.00000000000000
>>> arb_over_of_mid_rad(1, 0.0005)
[1.000 +/- 5.01e-4]

Parameters:

• mid (ArithRef)

• rad (ArithRef)

Return type:

arb