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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.182.28.194 with SMTP id d2mr21903763obh.19.1411812947918; Sat, 27 Sep 2014 03:15:47 -0700 (PDT) X-Received: by 10.140.80.210 with SMTP id c76mr3220qgd.18.1411812947753; Sat, 27 Sep 2014 03:15:47 -0700 (PDT) Path: buffer1.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!a13no4353537igq.0!news-out.google.com!i10ni39qaf.0!nntp.google.com!v10no16279qac.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 27 Sep 2014 03:15:47 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.55.212.181; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 91.55.212.181 References: <98f0066e-4b5c-4b00-b811-dcbb13ed0fcf@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <77237aca-bcc2-45fa-94fb-3dd1734cc40b@googlegroups.com> Subject: Re: Integers and Mathematical Correctness From: AdaMagica Injection-Date: Sat, 27 Sep 2014 10:15:47 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: number.nntp.dca.giganews.com comp.lang.ada:189184 Date: 2014-09-27T03:15:47-07:00 List-Id: Just to elaborate a bit: I guess a rational number package is not complete if there is no possibility to add a whole and a rational number; in general, mixing of whole and rational numbers in all operators should be possible. For this, you definitely need an integer type different from Standard.Integer. And you'll be astonished how many functions this will at the end. (Don't forget relational operators and equality (1 = 2/2).) Christoph