PowerAda 126

From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics‎ | Annex M
Revision as of 00:36, 25 April 2019 by imported>WikiVisor (Text replacement - """ to """)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

(126) Conditions on a universal_real operand of a fixed point multiplication or division for which the result shall be in the perfect result set.

See G.2.3(22).

If there exists a perfect factorization of the universal_real operand into a "compatible" small and an integer within the bounds of type integer (32 bit twos-complement signed) the result is in the perfect result set.