Re: Ada.Numerics.Big_Numbers.Big_Integer has a limit of 300 digits?

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 2021-12-23 13:41, AdaMagica wrote:
> Niklas Holsti schrieb am Mittwoch, 22. Dezember 2021 um 20:05:21 UTC+1:
>> However, the
>> Big_Integers package does not directly support computations "mod"
> 
> It does A.5.6(18/5).


Yes, there is a "mod" operator for Big_Integer. My point was that there 
are no Big_Integer operations, such as multiplication, that are 
intrinsically modular in the same way as the operations for modular 
types are. So the only way to perform a modular multiplication of 
Big_Integers is to first multiply the numbers in the usual way, 
producing a possibly very large product, and then apply "mod" to reduce 
that product.

In my imperfect understanding, intrinsically modular big-number 
computations can be much more efficient than such post-computation 
applications of "mod", at least if the modulus is not itself a big number.