Function Sqrt

lean_py/z3/core.py:1908–1911

Square root (represented as a^(1/2)).

(a: ArithRef)

def Sqrt(a: ArithRef) -> ArithRef:
    """Square root (represented as a^(1/2))."""
    half = RatVal(1, 2)
    return a**half


# ---------------------------------------------------------------------------