From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,8c424d8135e68278 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-12-23 14:43:20 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.media.kyoto-u.ac.jp!sjc-peer.news.verio.net!news.verio.net!sjc-read.news.verio.net.POSTED!not-for-mail Newsgroups: comp.lang.ada From: Brian Rogoff Subject: Re: Math Update for Ada 2005 In-Reply-To: <5ee5b646.0112230713.20fd5963@posting.google.com> Message-ID: References: <5ee5b646.0112230713.20fd5963@posting.google.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Date: Sun, 23 Dec 2001 22:43:39 GMT NNTP-Posting-Host: 192.220.65.223 X-Complaints-To: abuse@verio.net X-Trace: sjc-read.news.verio.net 1009147419 192.220.65.223 (Sun, 23 Dec 2001 22:43:39 GMT) NNTP-Posting-Date: Sun, 23 Dec 2001 22:43:39 GMT Organization: Verio Xref: archiver1.google.com comp.lang.ada:18263 Date: 2001-12-23T22:43:39+00:00 List-Id: On 23 Dec 2001, Robert Dewar wrote: > Ada 95 was carefully designed so that support can be > added for infinities and Nan's without in anyway violating > the RM semantics, and in fact GNAT does support the use of > Inf and Nan semantics in full generality, though it does > not provide all the IEEE facilities for manipulating such > values. > > These facilities can be added with external packages. For > an *extensive* discussion of this entire issue see Sam > Figueroa's thesis (NYU, Robert Dewar thesis advisor). This > thesis addresses the entire issue of floating-point evaluation schemes > in high level languages from an IEEE > point of view, and specifically proposes a package and > other facilities (pragmas attributes etc) for full support > of the IEEE model in Ada 95 in an upwards compatible manner. > > At least start from Sam's work, don't reinvent the wheel :-) Excellent advice, thanks. I'll answer the next question for the clueless http://www.cs.nyu.edu/csweb/Research/Theses/figueroa_sam.pdf -- Brian