FloatElementaryFunctions

flopak.spad line 36 [edit on github]

undocumented

exp1: PositiveInteger -> Record(mantissa: Integer, exponent: Integer)

exp1(b) computes approximation to exp(1) accurate to at least b bits.

exp: (Record(mantissa: Integer, exponent: Integer), PositiveInteger) -> Record(mantissa: Integer, exponent: Integer)

exp(x, b) computes approximation to exp(x) accurate to at least b bits.

exp_frac: (Integer, Integer, PositiveInteger) -> Record(mantissa: Integer, exponent: Integer)

exp_series: (Record(mantissa: Integer, exponent: Integer), PositiveInteger) -> Record(mantissa: Integer, exponent: Integer)

log10: PositiveInteger -> Record(mantissa: Integer, exponent: Integer)

log10(b) computes approximation to log(10) accurate to at least b bits.

log2: PositiveInteger -> Record(mantissa: Integer, exponent: Integer)

log2(b) computes approximation to log(2) accurate to at least b bits.

log: (Record(mantissa: Integer, exponent: Integer), PositiveInteger) -> Record(mantissa: Integer, exponent: Integer)

log(x, b) computes approximation to exp(x) accurate to at least b bits.

log_series: (Record(mantissa: Integer, exponent: Integer), PositiveInteger) -> Record(mantissa: Integer, exponent: Integer)

minus: (Record(mantissa: Integer, exponent: Integer), Record(mantissa: Integer, exponent: Integer), PositiveInteger) -> Record(mantissa: Integer, exponent: Integer)

minus(x, y, b) computes approximation to x - y accurate to at least b bits.

plus: (Record(mantissa: Integer, exponent: Integer), Record(mantissa: Integer, exponent: Integer), PositiveInteger) -> Record(mantissa: Integer, exponent: Integer)

plus(x, y, b) computes approximation to x + y accurate to at least b bits.

quotient: (Record(mantissa: Integer, exponent: Integer), Record(mantissa: Integer, exponent: Integer), PositiveInteger) -> Record(mantissa: Integer, exponent: Integer)

quotient(x, y, b) computes approximation to x/y accurate to at least b bits.

round: Record(mantissa: Integer, exponent: Integer) -> Integer

round(x) returns integer closest to x.

times: (Record(mantissa: Integer, exponent: Integer), Record(mantissa: Integer, exponent: Integer), PositiveInteger) -> Record(mantissa: Integer, exponent: Integer)

times(x, y, b) computes approximation to x*y accurate to at least b bits.