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

Function fpMul

lean_py/z3/core.py:3371–3372  ·  view source on GitHub ↗
(rm: FPRMRef, a: FPRef, b: FPRef, ctx: Context | None = None)

Source from the content-addressed store, hash-verified

3369
3370
3371def fpMul(rm: FPRMRef, a: FPRef, b: FPRef, ctx: Context | None = None) -> FPRef:
3372 return _fp_op("fpMul", rm, a, b)
3373
3374
3375def fpDiv(rm: FPRMRef, a: FPRef, b: FPRef, ctx: Context | None = None) -> FPRef:

Callers 7

test_fp_mulMethod · 0.90
test_fp_mul_groundMethod · 0.90
test_mulMethod · 0.90
test_mul_oneMethod · 0.90
test_mul_zeroMethod · 0.90
test_fp_mul_comm_groundMethod · 0.90
__mul__Method · 0.85

Calls 1

_fp_opFunction · 0.85

Tested by 6

test_fp_mulMethod · 0.72
test_fp_mul_groundMethod · 0.72
test_mulMethod · 0.72
test_mul_oneMethod · 0.72
test_mul_zeroMethod · 0.72
test_fp_mul_comm_groundMethod · 0.72