FloatElementaryFunctions

flopak.spad line 36 [edit on github]

undocumented

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.

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

exp1(b) computes approximation to exp(1) 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)

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.

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_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.