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,8b33260b76fbe630 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-04-22 05:04:29 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fu-berlin.de!uni-berlin.de!tar-alcarin.cbb-automation.DE!not-for-mail From: Dmitry A. Kazakov Newsgroups: comp.lang.ada Subject: Re: Interval arithmetic in Ada? Date: Mon, 22 Apr 2002 14:04:28 +0200 Message-ID: References: NNTP-Posting-Host: tar-alcarin.cbb-automation.de (212.79.194.111) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: fu-berlin.de 1019477068 6987363 212.79.194.111 (16 [77047]) X-Newsreader: Forte Agent 1.8/32.548 Xref: archiver1.google.com comp.lang.ada:22895 Date: 2002-04-22T14:04:28+02:00 List-Id: On Mon, 22 Apr 2002 11:13:10 +0200 (MET DST), "Grein, Christoph" wrote: >This was the Ada 83 floating point model. Hmm. Interval arithmetic is defined on intervals of numbers as opposed to single numbers. It goes approximately like this: [a,b] + [c,d] = [a+c, b+d] [a,b] * [c,d] = [min (ac, ad, bc, bd), max (ac, ad, bc, bd)] ... Usually it is used for numeric computations with an automatic control over calculation errors. It is also tightly related with the possibility theory, fuzzy numbers etc. It is relatively straightforward, but firstly I do not want to reinvent wheel and secondly it requires precise control over rounding. I feel myself not very confident with Annexes A.5 and G. --- Regards, Dmitry Kazakov www.dmitry-kazakov.de