A SAFE interval gives the bounds required on t 86-06-19 AI-00432/00 1
!standard 04.05.07 (08) 86-06-19 AI-00432/00
!class ramification (provisional classification)
!status received 86-06-19
!topic A SAFE interval gives the bounds required on the result?
!summary 86-06-19
!question 86-06-19
86-06-19
!appendix 86-06-19
*****************************************************************************
!section 04.05.07 (08) C Bendix Nielsen, AdaFD, DDC 86-06-09 83-00751
!version 1983
!topic A SAFE interval gives the bounds required on the result?
RM 4.5.7(3) says "For any basic operation or predefined operator
that yields a result of a real subtype, the required bounds on the
result are given by a model interval ..."
RM 4.5.7(2) says "A model interval of a subtype is any interval
whose bounds are model numbers of the subtype."
RM 4.5.7(7) says "The result model interval is undefined if the
absolute value of one of the above mathematical results exceeds
the largest safe number of the result type."
What is the result (model?) interval if the absolute value of one
of these mathematical results exceeds the largest model number
without exceeding the largest safe number?