comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Any good package for mathematical function in Ada?
Date: Fri, 5 Jun 2020 17:49:45 -0500
Date: 2020-06-05T17:49:45-05:00	[thread overview]
Message-ID: <rbei6b$vg2$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: rb2p52$qvl$1@gioia.aioe.org

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:rb2p52$qvl$1@gioia.aioe.org...
...
> As for GMP specifically, I think that arbitrary precision numeric types 
> must be an integral part of Ada. Unfortunately, this would introduce same 
> mess Unbounded_String did. So, for now, I would not push for them until 
> the language type system mature to accommodate them smoothly.

You're a little late for that. See Big_Integer:

http://www.ada-auth.org/standards/2xrm/html/RM-A-5-6.html

and Big_Real:

http://www.ada-auth.org/standards/2xrm/html/RM-A-5-7.html

Since Ada 202x has user-defined literals and user-defined Image, this is 
almost as good as a built-in number. The only downside would be using them 
in generics (like GEF), but most of those implementations assume a maximum 
precision that's not true for these so they'd need rewriting anyway.

                           Randy.


  parent reply	other threads:[~2020-06-05 22:49 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-05-31 10:46 Any good package for mathematical function in Ada? reinert
2020-05-31 11:26 ` Dmitry A. Kazakov
2020-06-01  8:17   ` reinert
2020-05-31 23:25 ` Jerry
2020-06-01  8:24   ` reinert
2020-06-01 10:19     ` Dmitry A. Kazakov
2020-06-01 10:48       ` Nasser M. Abbasi
2020-06-01 11:34         ` Dmitry A. Kazakov
2020-06-01 11:52           ` Nasser M. Abbasi
2020-06-01 13:37             ` Dmitry A. Kazakov
2020-06-02  1:48             ` Jerry
2020-06-05 22:49           ` Randy Brukardt [this message]
2020-06-05 22:54           ` Paul Rubin
2020-06-06  7:06             ` Dmitry A. Kazakov
2020-06-06 13:58               ` AdaMagica
2020-06-01 10:43   ` Dmitry A. Kazakov
2020-06-02  1:51     ` Jerry
2020-06-03 15:07     ` reinert
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox