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

Function RoundNearestTiesToEven

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

Source from the content-addressed store, hash-verified

3299
3300# Rounding modes
3301def RoundNearestTiesToEven(ctx: Context | None = None) -> FPRMRef:
3302 return FPRMRef("RoundNearestTiesToEven")
3303
3304
3305def RNE(ctx: Context | None = None) -> FPRMRef:

Callers 3

test_rounding_mode_long_namesMethod · 0.90
RNEFunction · 0.85
core.pyFile · 0.85

Calls 1

FPRMRefClass · 0.85

Tested by 1

test_rounding_mode_long_namesMethod · 0.72