MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / RTP

Function RTP

lean_py/z3/core.py:3321–3322  ·  view source on GitHub ↗
(ctx: Context | None = None)

Source from the content-addressed store, hash-verified

3319
3320
3321def RTP(ctx: Context | None = None) -> FPRMRef:
3322 return RoundTowardPositive(ctx)
3323
3324
3325def RoundTowardNegative(ctx: Context | None = None) -> FPRMRef:

Callers 1

test_rounding_modesMethod · 0.90

Calls 1

RoundTowardPositiveFunction · 0.85

Tested by 1

test_rounding_modesMethod · 0.72