1Math::BigInt::Lib(3)  User Contributed Perl Documentation Math::BigInt::Lib(3)
2
3
4

NAME

6       Math::BigInt::Lib - virtual parent class for Math::BigInt libraries
7

SYNOPSIS

9           # In the backend library for Math::BigInt et al.
10
11           package Math::BigInt::MyBackend;
12
13           use Math::BigInt::lib;
14           our @ISA = qw< Math::BigInt::lib >;
15
16           sub _new { ... }
17           sub _str { ... }
18           sub _add { ... }
19           str _sub { ... }
20           ...
21
22           # In your main program.
23
24           use Math::BigInt lib => 'MyBackend';
25

DESCRIPTION

27       This module provides support for big integer calculations. It is not
28       intended to be used directly, but rather as a parent class for backend
29       libraries used by Math::BigInt, Math::BigFloat, Math::BigRat, and
30       related modules.
31
32       Other backend libraries include Math::BigInt::Calc,
33       Math::BigInt::FastCalc, Math::BigInt::GMP, and Math::BigInt::Pari.
34
35       In order to allow for multiple big integer libraries, Math::BigInt was
36       rewritten to use a plug-in library for core math routines. Any module
37       which conforms to the API can be used by Math::BigInt by using this in
38       your program:
39
40               use Math::BigInt lib => 'libname';
41
42       'libname' is either the long name, like 'Math::BigInt::Pari', or only
43       the short version, like 'Pari'.
44
45   General Notes
46       A library only needs to deal with unsigned big integers. Testing of
47       input parameter validity is done by the caller, so there is no need to
48       worry about underflow (e.g., in "_sub()" and "_dec()") or about
49       division by zero (e.g., in "_div()" and "_mod()")) or similar cases.
50
51       Some libraries use methods that don't modify their argument, and some
52       libraries don't even use objects, but rather unblessed references.
53       Because of this, liberary methods are always called as class methods,
54       not instance methods:
55
56           $x = Class -> method($x, $y);     # like this
57           $x = $x -> method($y);            # not like this ...
58           $x -> method($y);                 # ... or like this
59
60       And with boolean methods
61
62           $bool = Class -> method($x, $y);  # like this
63           $bool = $x -> method($y);         # not like this
64
65       Return values are always objects, strings, Perl scalars, or true/false
66       for comparison routines.
67
68       API version
69
70       CLASS->api_version()
71           This method is no longer used and can be omitted. Methods that are
72           not implemented by a subclass will be inherited from this class.
73
74       Constructors
75
76       The following methods are mandatory: _new(), _str(), _add(), and
77       _sub().  However, computations will be very slow without _mul() and
78       _div().
79
80       CLASS->_new(STR)
81           Convert a string representing an unsigned decimal number to an
82           object representing the same number. The input is normalized, i.e.,
83           it matches "^(0|[1-9]\d*)$".
84
85       CLASS->_zero()
86           Return an object representing the number zero.
87
88       CLASS->_one()
89           Return an object representing the number one.
90
91       CLASS->_two()
92           Return an object representing the number two.
93
94       CLASS->_ten()
95           Return an object representing the number ten.
96
97       CLASS->_from_bin(STR)
98           Return an object given a string representing a binary number. The
99           input has a '0b' prefix and matches the regular expression
100           "^0[bB](0|1[01]*)$".
101
102       CLASS->_from_oct(STR)
103           Return an object given a string representing an octal number. The
104           input has a '0' prefix and matches the regular expression
105           "^0[1-7]*$".
106
107       CLASS->_from_hex(STR)
108           Return an object given a string representing a hexadecimal number.
109           The input has a '0x' prefix and matches the regular expression
110           "^0x(0|[1-9a-fA-F][\da-fA-F]*)$".
111
112       CLASS->_from_bytes(STR)
113           Returns an object given a byte string representing the number. The
114           byte string is in big endian byte order, so the two-byte input
115           string "\x01\x00" should give an output value representing the
116           number 256.
117
118       CLASS->_from_base(STR, BASE, COLLSEQ)
119           Returns an object given a string STR, a base BASE, and a collation
120           sequence COLLSEQ. Each character in STR represents a numerical
121           value identical to the character's position in COLLSEQ. All
122           characters in STR must be present in COLLSEQ.
123
124           If BASE is less than or equal to 94, and a collation sequence is
125           not specified, the following default collation sequence is used. It
126           contains of all the 94 printable ASCII characters except
127           space/blank:
128
129               0123456789                  # ASCII  48 to  57
130               ABCDEFGHIJKLMNOPQRSTUVWXYZ  # ASCII  65 to  90
131               abcdefghijklmnopqrstuvwxyz  # ASCII  97 to 122
132               !"#$%&'()*+,-./             # ASCII  33 to  47
133               :;<=>?@                     # ASCII  58 to  64
134               [\]^_`                      # ASCII  91 to  96
135               {|}~                        # ASCII 123 to 126
136
137           If the default collation sequence is used, and the BASE is less
138           than or equal to 36, the letter case in STR is ignored.
139
140           For instance, with base 3 and collation sequence "-/|", the
141           character "-" represents 0, "/" represents 1, and "|" represents 2.
142           So if STR is "/|-", the output is 1 * 3**2 + 2 * 3**1 + 0 * 3**0 =
143           15.
144
145           The following examples show standard binary, octal, decimal, and
146           hexadecimal conversion. All examples return 250.
147
148               $x = $class -> _from_base("11111010", 2)
149               $x = $class -> _from_base("372", 8)
150               $x = $class -> _from_base("250", 10)
151               $x = $class -> _from_base("FA", 16)
152
153           Some more examples, all returning 250:
154
155               $x = $class -> _from_base("100021", 3)
156               $x = $class -> _from_base("3322", 4)
157               $x = $class -> _from_base("2000", 5)
158               $x = $class -> _from_base("caaa", 5, "abcde")
159               $x = $class -> _from_base("42", 62)
160               $x = $class -> _from_base("2!", 94)
161
162       Mathematical functions
163
164       CLASS->_add(OBJ1, OBJ2)
165           Returns the result of adding OBJ2 to OBJ1.
166
167       CLASS->_mul(OBJ1, OBJ2)
168           Returns the result of multiplying OBJ2 and OBJ1.
169
170       CLASS->_div(OBJ1, OBJ2)
171           In scalar context, returns the quotient after dividing OBJ1 by OBJ2
172           and truncating the result to an integer. In list context, return
173           the quotient and the remainder.
174
175       CLASS->_sub(OBJ1, OBJ2, FLAG)
176       CLASS->_sub(OBJ1, OBJ2)
177           Returns the result of subtracting OBJ2 by OBJ1. If "flag" is false
178           or omitted, OBJ1 might be modified. If "flag" is true, OBJ2 might
179           be modified.
180
181       CLASS->_dec(OBJ)
182           Returns the result after decrementing OBJ by one.
183
184       CLASS->_inc(OBJ)
185           Returns the result after incrementing OBJ by one.
186
187       CLASS->_mod(OBJ1, OBJ2)
188           Returns OBJ1 modulo OBJ2, i.e., the remainder after dividing OBJ1
189           by OBJ2.
190
191       CLASS->_sqrt(OBJ)
192           Returns the square root of OBJ, truncated to an integer.
193
194       CLASS->_root(OBJ, N)
195           Returns the Nth root of OBJ, truncated to an integer.
196
197       CLASS->_fac(OBJ)
198           Returns the factorial of OBJ, i.e., the product of all positive
199           integers up to and including OBJ.
200
201       CLASS->_dfac(OBJ)
202           Returns the double factorial of OBJ. If OBJ is an even integer,
203           returns the product of all positive, even integers up to and
204           including OBJ, i.e., 2*4*6*...*OBJ. If OBJ is an odd integer,
205           returns the product of all positive, odd integers, i.e.,
206           1*3*5*...*OBJ.
207
208       CLASS->_pow(OBJ1, OBJ2)
209           Returns OBJ1 raised to the power of OBJ2. By convention, 0**0 = 1.
210
211       CLASS->_modinv(OBJ1, OBJ2)
212           Returns the modular multiplicative inverse, i.e., return OBJ3 so
213           that
214
215               (OBJ3 * OBJ1) % OBJ2 = 1 % OBJ2
216
217           The result is returned as two arguments. If the modular
218           multiplicative inverse does not exist, both arguments are
219           undefined. Otherwise, the arguments are a number (object) and its
220           sign ("+" or "-").
221
222           The output value, with its sign, must either be a positive value in
223           the range 1,2,...,OBJ2-1 or the same value subtracted OBJ2. For
224           instance, if the input arguments are objects representing the
225           numbers 7 and 5, the method must either return an object
226           representing the number 3 and a "+" sign, since (3*7) % 5 = 1 % 5,
227           or an object representing the number 2 and a "-" sign, since (-2*7)
228           % 5 = 1 % 5.
229
230       CLASS->_modpow(OBJ1, OBJ2, OBJ3)
231           Returns the modular exponentiation, i.e., (OBJ1 ** OBJ2) % OBJ3.
232
233       CLASS->_rsft(OBJ, N, B)
234           Returns the result after shifting OBJ N digits to thee right in
235           base B. This is equivalent to performing integer division by B**N
236           and discarding the remainder, except that it might be much faster.
237
238           For instance, if the object $obj represents the hexadecimal number
239           0xabcde, then "_rsft($obj, 2, 16)" returns an object representing
240           the number 0xabc. The "remainer", 0xde, is discarded and not
241           returned.
242
243       CLASS->_lsft(OBJ, N, B)
244           Returns the result after shifting OBJ N digits to the left in base
245           B. This is equivalent to multiplying by B**N, except that it might
246           be much faster.
247
248       CLASS->_log_int(OBJ, B)
249           Returns the logarithm of OBJ to base BASE truncted to an integer.
250           This method has two output arguments, the OBJECT and a STATUS. The
251           STATUS is Perl scalar; it is 1 if OBJ is the exact result, 0 if the
252           result was truncted to give OBJ, and undef if it is unknown whether
253           OBJ is the exact result.
254
255       CLASS->_gcd(OBJ1, OBJ2)
256           Returns the greatest common divisor of OBJ1 and OBJ2.
257
258       CLASS->_lcm(OBJ1, OBJ2)
259           Return the least common multiple of OBJ1 and OBJ2.
260
261       CLASS->_fib(OBJ)
262           In scalar context, returns the nth Fibonacci number: _fib(0)
263           returns 0, _fib(1) returns 1, _fib(2) returns 1, _fib(3) returns 2
264           etc. In list context, returns the Fibonacci numbers from F(0) to
265           F(n): 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, ...
266
267       CLASS->_lucas(OBJ)
268           In scalar context, returns the nth Lucas number: _lucas(0) returns
269           2, _lucas(1) returns 1, _lucas(2) returns 3, etc. In list context,
270           returns the Lucas numbers from L(0) to L(n): 2, 1, 3, 4, 7, 11, 18,
271           29,47, 76, ...
272
273       Bitwise operators
274
275       CLASS->_and(OBJ1, OBJ2)
276           Returns bitwise and.
277
278       CLASS->_or(OBJ1, OBJ2)
279           Returns bitwise or.
280
281       CLASS->_xor(OBJ1, OBJ2)
282           Returns bitwise exclusive or.
283
284       CLASS->_sand(OBJ1, OBJ2, SIGN1, SIGN2)
285           Returns bitwise signed and.
286
287       CLASS->_sor(OBJ1, OBJ2, SIGN1, SIGN2)
288           Returns bitwise signed or.
289
290       CLASS->_sxor(OBJ1, OBJ2, SIGN1, SIGN2)
291           Returns bitwise signed exclusive or.
292
293       Boolean operators
294
295       CLASS->_is_zero(OBJ)
296           Returns a true value if OBJ is zero, and false value otherwise.
297
298       CLASS->_is_one(OBJ)
299           Returns a true value if OBJ is one, and false value otherwise.
300
301       CLASS->_is_two(OBJ)
302           Returns a true value if OBJ is two, and false value otherwise.
303
304       CLASS->_is_ten(OBJ)
305           Returns a true value if OBJ is ten, and false value otherwise.
306
307       CLASS->_is_even(OBJ)
308           Return a true value if OBJ is an even integer, and a false value
309           otherwise.
310
311       CLASS->_is_odd(OBJ)
312           Return a true value if OBJ is an even integer, and a false value
313           otherwise.
314
315       CLASS->_acmp(OBJ1, OBJ2)
316           Compare OBJ1 and OBJ2 and return -1, 0, or 1, if OBJ1 is
317           numerically less than, equal to, or larger than OBJ2, respectively.
318
319       String conversion
320
321       CLASS->_str(OBJ)
322           Returns a string representing OBJ in decimal notation. The returned
323           string should have no leading zeros, i.e., it should match
324           "^(0|[1-9]\d*)$".
325
326       CLASS->_to_bin(OBJ)
327           Returns the binary string representation of OBJ.
328
329       CLASS->_to_oct(OBJ)
330           Returns the octal string representation of the number.
331
332       CLASS->_to_hex(OBJ)
333           Returns the hexadecimal string representation of the number.
334
335       CLASS->_to_bytes(OBJ)
336           Returns a byte string representation of OBJ. The byte string is in
337           big endian byte order, so if OBJ represents the number 256, the
338           output should be the two-byte string "\x01\x00".
339
340       CLASS->_to_base(OBJ, BASE, COLLSEQ)
341           Returns a string representation of OBJ in base BASE with collation
342           sequence COLLSEQ.
343
344               $val = $class -> _new("210");
345               $str = $class -> _to_base($val, 10, "xyz")  # $str is "zyx"
346
347               $val = $class -> _new("32");
348               $str = $class -> _to_base($val, 2, "-|")  # $str is "|-----"
349
350           See _from_base() for more information.
351
352       CLASS->_as_bin(OBJ)
353           Like "_to_bin()" but with a '0b' prefix.
354
355       CLASS->_as_oct(OBJ)
356           Like "_to_oct()" but with a '0' prefix.
357
358       CLASS->_as_hex(OBJ)
359           Like "_to_hex()" but with a '0x' prefix.
360
361       CLASS->_as_bytes(OBJ)
362           This is an alias to "_to_bytes()".
363
364       Numeric conversion
365
366       CLASS->_num(OBJ)
367           Returns a Perl scalar number representing the number OBJ as close
368           as possible. Since Perl scalars have limited precision, the
369           returned value might not be exactly the same as OBJ.
370
371       Miscellaneous
372
373       CLASS->_copy(OBJ)
374           Returns a true copy OBJ.
375
376       CLASS->_len(OBJ)
377           Returns the number of the decimal digits in OBJ. The output is a
378           Perl scalar.
379
380       CLASS->_zeros(OBJ)
381           Returns the number of trailing decimal zeros. The output is a Perl
382           scalar. The number zero has no trailing decimal zeros.
383
384       CLASS->_digit(OBJ, N)
385           Returns the Nth digit in OBJ as a Perl scalar. N is a Perl scalar,
386           where zero refers to the rightmost (least significant) digit, and
387           negative values count from the left (most significant digit). If
388           $obj represents the number 123, then
389
390               CLASS->_digit($obj,  0)     # returns 3
391               CLASS->_digit($obj,  1)     # returns 2
392               CLASS->_digit($obj,  2)     # returns 1
393               CLASS->_digit($obj, -1)     # returns 1
394
395       CLASS->_digitsum(OBJ)
396           Returns the sum of the base 10 digits.
397
398       CLASS->_check(OBJ)
399           Returns true if the object is invalid and false otherwise.
400           Preferably, the true value is a string describing the problem with
401           the object. This is a check routine to test the internal state of
402           the object for corruption.
403
404       CLASS->_set(OBJ)
405           xxx
406
407   API version 2
408       The following methods are required for an API version of 2 or greater.
409
410       Constructors
411
412       CLASS->_1ex(N)
413           Return an object representing the number 10**N where N >= 0 is a
414           Perl scalar.
415
416       Mathematical functions
417
418       CLASS->_nok(OBJ1, OBJ2)
419           Return the binomial coefficient OBJ1 over OBJ1.
420
421       Miscellaneous
422
423       CLASS->_alen(OBJ)
424           Return the approximate number of decimal digits of the object. The
425           output is a Perl scalar.
426

WRAP YOUR OWN

428       If you want to port your own favourite C library for big numbers to the
429       Math::BigInt interface, you can take any of the already existing
430       modules as a rough guideline. You should really wrap up the latest
431       Math::BigInt and Math::BigFloat testsuites with your module, and
432       replace in them any of the following:
433
434               use Math::BigInt;
435
436       by this:
437
438               use Math::BigInt lib => 'yourlib';
439
440       This way you ensure that your library really works 100% within
441       Math::BigInt.
442

BUGS

444       Please report any bugs or feature requests to "bug-math-bigint at
445       rt.cpan.org", or through the web interface at
446       <https://rt.cpan.org/Ticket/Create.html?Queue=Math-BigInt> (requires
447       login).  We will be notified, and then you'll automatically be notified
448       of progress on your bug as I make changes.
449

SUPPORT

451       You can find documentation for this module with the perldoc command.
452
453           perldoc Math::BigInt::Calc
454
455       You can also look for information at:
456
457       •   RT: CPAN's request tracker
458
459           <https://rt.cpan.org/Public/Dist/Display.html?Name=Math-BigInt>
460
461       •   AnnoCPAN: Annotated CPAN documentation
462
463           <http://annocpan.org/dist/Math-BigInt>
464
465       •   CPAN Ratings
466
467           <https://cpanratings.perl.org/dist/Math-BigInt>
468
469       •   MetaCPAN
470
471           <https://metacpan.org/release/Math-BigInt>
472
473       •   CPAN Testers Matrix
474
475           <http://matrix.cpantesters.org/?dist=Math-BigInt>
476
477       •   The Bignum mailing list
478
479           •   Post to mailing list
480
481               "bignum at lists.scsys.co.uk"
482
483           •   View mailing list
484
485               <http://lists.scsys.co.uk/pipermail/bignum/>
486
487           •   Subscribe/Unsubscribe
488
489               <http://lists.scsys.co.uk/cgi-bin/mailman/listinfo/bignum>
490

LICENSE

492       This program is free software; you may redistribute it and/or modify it
493       under the same terms as Perl itself.
494

AUTHOR

496       Peter John Acklam, <pjacklam@online.no>
497
498       Code and documentation based on the Math::BigInt::Calc module by Tels
499       <nospam-abuse@bloodgate.com>
500

SEE ALSO

502       Math::BigInt, Math::BigInt::Calc, Math::BigInt::GMP,
503       Math::BigInt::FastCalc and Math::BigInt::Pari.
504
505
506
507perl v5.32.1                      2021-01-27              Math::BigInt::Lib(3)
Impressum