From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-2.9 required=3.0 tests=BAYES_00,NICE_REPLY_A
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ada.Numerics.Big_Numbers.Big_Integer has a limit of 300 digits?
Date: Wed, 22 Dec 2021 19:37:45 +0200
Organization: Tidorum Ltd
Message-ID: <j2h63aFbvikU1@mid.individual.net>
References: <afc2e263-66d3-4047-aecd-22932484a9a6n@googlegroups.com>
 <0bf093e6-c25b-4541-a5c0-5b840a2e4e06n@googlegroups.com>
 <c9103e48-64be-4448-a47a-6a666462ab4cn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net tqqaJmMtUY5E09IfNLGXiwdJRTarUg3w7GijgaKGf8B2QzVpO8
Cancel-Lock: sha1:pYc20UZ6CDag1UEBFLZbfeC/btI=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:78.0)
 Gecko/20100101 Thunderbird/78.14.0
In-Reply-To: <c9103e48-64be-4448-a47a-6a666462ab4cn@googlegroups.com>
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:63241
List-Id: <comp.lang.ada>

On 2021-12-22 18:04, AdaMagica wrote:
>> Bignum_Limit : constant := 200;
> RM 2.2(14) limiits the line length and the length of lexical elements to 200.


To express it more clearly, RM 2.2(14) requires implementations to 
support lines and lexical elements of /at least/ 200 characters, but 
/allows/ implementations to support longer lines and lexical elements.

I'm not sure if GNAT supports more than 200 characters, though. And of 
course an Ada program that uses more than 200 characters may not be 
portable to compilers that support only 200.

But I don't see any direct logical connection to the number of digits 
that Big_Integers can support. While one cannot write a big-number 
literal longer than a line or longer than the maximum length of a 
lexical element, that should not directly limit the size of big-number 
values in computations.