FloatingPointOperations

flopak.spad line 1 [edit on github]

This package implements basic operations on arbitrary precision floating point numbers with no rounding.

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

minus(x, y) computes x - y with no rounding.

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

plus(x, y) computes x + y with no rounding.

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

times(x, y, b) computes x*y with no rounding.