"applications must take care not to overflow the exponent"

Torbjorn Granlund tg at swox.com
Fri Jan 23 10:27:49 CET 2009


"Bruce M. Axtens" <bruce.axtens at gmail.com> writes:

  The manual says, "mpf functions and variables have no special notion of 
  infinity or not-a-number, and applications must take care not to 
  overflow the exponent or results will be unpredictable. This might 
  change in a future release."
  
   From a reactive point of view, how does one tell if one has overflowed 
  the exponent? Or, from the proactive, how can one tell if exponent 
  overflow is likely?
  
GMP's mpf does not provide any documented mechanisms for this,
unfortunately.  Perhaps it should detect it and send a signal, or
something like that.

Having said that, very few applications should risk overflowing the
exponent, since it is at least 32 bits (on any relevant computer) and
since the base is a limb.  Applications that could cause overflow, need
to check that intermediate results lie within a safety interval.

-- 
Torbjörn


More information about the gmp-discuss mailing list