Documentation
Fp
.
FMA
Search
return to top
source
Imports
Init
Fp.Addition
Fp.Basic
Fp.Multiplication
Fp.Rounding
Imported by
fma
source
def
fma
{
e
s
:
Nat
}
(
a
b
c
:
PackedFloat
e
s
)
(
m
:
RoundingMode
)
:
PackedFloat
e
s
Equations
One or more equations did not get rendered due to their size.
Instances For