kdrag.theories.real.analysis

Functions

Ball(x, r)

Ball returns a set of points y such that |y - x| < r

kdrag.theories.real.analysis.Ball(x, r)

Ball returns a set of points y such that |y - x| < r

>>> x,r = smt.Reals("x r")
>>> Ball(x,r)
Lambda(y!..., absR(y!... - x) < r)