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

Function RNA

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

Source from the content-addressed store, hash-verified

3311
3312
3313def RNA(ctx: Context | None = None) -> FPRMRef:
3314 return RoundNearestTiesToAway(ctx)
3315
3316
3317def RoundTowardPositive(ctx: Context | None = None) -> FPRMRef:

Callers 1

test_rounding_modesMethod · 0.90

Calls 1

RoundNearestTiesToAwayFunction · 0.85

Tested by 1

test_rounding_modesMethod · 0.72