xref: /freebsd/contrib/bc/include/num.h (revision f4fbc49d)
1 /*
2  * *****************************************************************************
3  *
4  * SPDX-License-Identifier: BSD-2-Clause
5  *
6  * Copyright (c) 2018-2023 Gavin D. Howard and contributors.
7  *
8  * Redistribution and use in source and binary forms, with or without
9  * modification, are permitted provided that the following conditions are met:
10  *
11  * * Redistributions of source code must retain the above copyright notice, this
12  *   list of conditions and the following disclaimer.
13  *
14  * * Redistributions in binary form must reproduce the above copyright notice,
15  *   this list of conditions and the following disclaimer in the documentation
16  *   and/or other materials provided with the distribution.
17  *
18  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
19  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
22  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
23  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
24  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
25  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
26  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
27  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
28  * POSSIBILITY OF SUCH DAMAGE.
29  *
30  * *****************************************************************************
31  *
32  * Definitions for the num type.
33  *
34  */
35 
36 #ifndef BC_NUM_H
37 #define BC_NUM_H
38 
39 #include <limits.h>
40 #include <stdbool.h>
41 #include <stddef.h>
42 #include <stdint.h>
43 
44 #include <sys/types.h>
45 
46 #include <status.h>
47 #include <vector.h>
48 #include <bcl.h>
49 
50 /// Everything in bc is base 10..
51 #define BC_BASE (10)
52 
53 /// Alias.
54 typedef unsigned long ulong;
55 
56 /// This is here because BcBigDig came first, but when I created bcl, it's
57 /// definition has to be defined first.
58 typedef BclBigDig BcBigDig;
59 
60 #if BC_LONG_BIT >= 64
61 
62 /// The biggest number held by a BcBigDig.
63 #define BC_NUM_BIGDIG_MAX ((BcBigDig) UINT64_MAX)
64 
65 /// The number of decimal digits in one limb.
66 #define BC_BASE_DIGS (9)
67 
68 /// The max number + 1 that one limb can hold.
69 #define BC_BASE_POW (1000000000)
70 
71 /// An alias for portability.
72 #define BC_NUM_BIGDIG_C UINT64_C
73 
74 /// The max number + 1 that two limbs can hold. This is used for generating
75 /// numbers because the PRNG can generate a number that will fill two limbs.
76 #define BC_BASE_RAND_POW (BC_NUM_BIGDIG_C(1000000000000000000))
77 
78 /// The actual limb type.
79 typedef int_least32_t BcDig;
80 
81 #elif BC_LONG_BIT >= 32
82 
83 /// The biggest number held by a BcBigDig.
84 #define BC_NUM_BIGDIG_MAX ((BcBigDig) UINT32_MAX)
85 
86 /// The number of decimal digits in one limb.
87 #define BC_BASE_DIGS (4)
88 
89 /// The max number + 1 that one limb can hold.
90 #define BC_BASE_POW (10000)
91 
92 /// An alias for portability.
93 #define BC_NUM_BIGDIG_C UINT32_C
94 
95 /// The max number + 1 that two limbs can hold. This is used for generating
96 /// numbers because the PRNG can generate a number that will fill two limbs.
97 #define BC_BASE_RAND_POW (UINT64_C(100000000))
98 
99 /// The actual limb type.
100 typedef int_least16_t BcDig;
101 
102 #else
103 
104 /// LONG_BIT must be at least 32 on POSIX. We depend on that.
105 #error BC_LONG_BIT must be at least 32
106 
107 #endif // BC_LONG_BIT >= 64
108 
109 /// The default (and minimum) number of limbs when allocating a number.
110 #define BC_NUM_DEF_SIZE (8)
111 
112 /// The actual number struct. This is where the magic happens.
113 typedef struct BcNum
114 {
115 	/// The limb array. It is restrict because *no* other item should own the
116 	/// array. For more information, see the development manual
117 	/// (manuals/development.md#numbers).
118 	BcDig* restrict num;
119 
120 	/// The number of limbs before the decimal (radix) point. This also stores
121 	/// the negative bit in the least significant bit since it uses at least two
122 	/// bits less than scale. It is also used less than scale. See the
123 	/// development manual (manuals/development.md#numbers) for more info.
124 	size_t rdx;
125 
126 	/// The actual scale of the number. This is different from rdx because there
127 	/// are multiple digits in one limb, and in the last limb, only some of the
128 	/// digits may be part of the scale. However, scale must always match rdx
129 	/// (except when the number is 0), or there is a bug. For more information,
130 	/// see the development manual (manuals/development.md#numbers).
131 	size_t scale;
132 
133 	/// The number of valid limbs in the array. If this is 0, then the number is
134 	/// 0 as well.
135 	size_t len;
136 
137 	/// The capacity of the limbs array. This is how many limbs the number could
138 	/// expand to without reallocation.
139 	size_t cap;
140 
141 } BcNum;
142 
143 #if BC_ENABLE_EXTRA_MATH
144 
145 // Forward declaration
146 struct BcRNG;
147 
148 #endif // BC_ENABLE_EXTRA_MATH
149 
150 /// The minimum obase.
151 #define BC_NUM_MIN_BASE (BC_NUM_BIGDIG_C(2))
152 
153 /// The maximum ibase allowed by POSIX.
154 #define BC_NUM_MAX_POSIX_IBASE (BC_NUM_BIGDIG_C(16))
155 
156 /// The actual ibase supported by this implementation.
157 #define BC_NUM_MAX_IBASE (BC_NUM_BIGDIG_C(36))
158 
159 /// The max base allowed by bc_num_parseChar().
160 #define BC_NUM_MAX_LBASE (BC_NUM_BIGDIG_C('Z' + BC_BASE + 1))
161 
162 /// The default number of characters to print before a backslash newline.
163 #define BC_NUM_PRINT_WIDTH (BC_NUM_BIGDIG_C(69))
164 
165 /// The base for printing streams from numbers.
166 #define BC_NUM_STREAM_BASE (256)
167 
168 // This sets a default for the Karatsuba length.
169 #ifndef BC_NUM_KARATSUBA_LEN
170 #define BC_NUM_KARATSUBA_LEN (BC_NUM_BIGDIG_C(32))
171 #elif BC_NUM_KARATSUBA_LEN < 16
172 #error BC_NUM_KARATSUBA_LEN must be at least 16.
173 #endif // BC_NUM_KARATSUBA_LEN
174 
175 // A crude, but always big enough, calculation of
176 // the size required for ibase and obase BcNum's.
177 #define BC_NUM_BIGDIG_LOG10 (BC_NUM_DEF_SIZE)
178 
179 /**
180  * Returns non-zero if the BcNum @a n is non-zero.
181  * @param n  The number to test.
182  * @return   Non-zero if @a n is non-zero, zero otherwise.
183  */
184 #define BC_NUM_NONZERO(n) ((n)->len)
185 
186 /**
187  * Returns true if the BcNum @a n is zero.
188  * @param n  The number to test.
189  * @return   True if @a n is zero, false otherwise.
190  */
191 #define BC_NUM_ZERO(n) (!BC_NUM_NONZERO(n))
192 
193 /**
194  * Returns true if the BcNum @a n is one with no scale.
195  * @param n  The number to test.
196  * @return   True if @a n equals 1 with no scale, false otherwise.
197  */
198 #define BC_NUM_ONE(n) ((n)->len == 1 && (n)->rdx == 0 && (n)->num[0] == 1)
199 
200 /**
201  * Converts the letter @a c into a number.
202  * @param c  The letter to convert.
203  * @return   The number corresponding to the letter.
204  */
205 #define BC_NUM_NUM_LETTER(c) ((c) - 'A' + BC_BASE)
206 
207 /// The number of allocations done by bc_num_k(). If you change the number of
208 /// allocations, you must change this. This is done in order to allocate them
209 /// all as one allocation and just give them all pointers to different parts.
210 /// Works pretty well, but you have to be careful.
211 #define BC_NUM_KARATSUBA_ALLOCS (6)
212 
213 /**
214  * Rounds @a s (scale) up to the next power of BC_BASE_DIGS. This will also
215  * check for overflow and gives a fatal error if that happens because we just
216  * can't go over the limits we have imposed.
217  * @param s  The scale to round up.
218  * @return   @a s rounded up to the next power of BC_BASE_DIGS.
219  */
220 #define BC_NUM_ROUND_POW(s) (bc_vm_growSize((s), BC_BASE_DIGS - 1))
221 
222 /**
223  * Returns the equivalent rdx for the scale @a s.
224  * @param s  The scale to convert.
225  * @return   The rdx for @a s.
226  */
227 #define BC_NUM_RDX(s) (BC_NUM_ROUND_POW(s) / BC_BASE_DIGS)
228 
229 /**
230  * Returns the actual rdx of @a n. (It removes the negative bit.)
231  * @param n  The number.
232  * @return   The real rdx of @a n.
233  */
234 #define BC_NUM_RDX_VAL(n) ((n)->rdx >> 1)
235 
236 /**
237  * Returns the actual rdx of @a n, where @a n is not a pointer. (It removes the
238  * negative bit.)
239  * @param n  The number.
240  * @return   The real rdx of @a n.
241  */
242 #define BC_NUM_RDX_VAL_NP(n) ((n).rdx >> 1)
243 
244 /**
245  * Sets the rdx of @a n to @a v.
246  * @param n  The number.
247  * @param v  The value to set the rdx to.
248  */
249 #define BC_NUM_RDX_SET(n, v) \
250 	((n)->rdx = (((v) << 1) | ((n)->rdx & (BcBigDig) 1)))
251 
252 /**
253  * Sets the rdx of @a n to @a v, where @a n is not a pointer.
254  * @param n  The number.
255  * @param v  The value to set the rdx to.
256  */
257 #define BC_NUM_RDX_SET_NP(n, v) \
258 	((n).rdx = (((v) << 1) | ((n).rdx & (BcBigDig) 1)))
259 
260 /**
261  * Sets the rdx of @a n to @a v and the negative bit to @a neg.
262  * @param n    The number.
263  * @param v    The value to set the rdx to.
264  * @param neg  The value to set the negative bit to.
265  */
266 #define BC_NUM_RDX_SET_NEG(n, v, neg) ((n)->rdx = (((v) << 1) | (neg)))
267 
268 /**
269  * Returns true if the rdx and scale for @a n match.
270  * @param n  The number to test.
271  * @return   True if the rdx and scale of @a n match, false otherwise.
272  */
273 #define BC_NUM_RDX_VALID(n) \
274 	(BC_NUM_ZERO(n) || BC_NUM_RDX_VAL(n) * BC_BASE_DIGS >= (n)->scale)
275 
276 /**
277  * Returns true if the rdx and scale for @a n match, where @a n is not a
278  * pointer.
279  * @param n  The number to test.
280  * @return   True if the rdx and scale of @a n match, false otherwise.
281  */
282 #define BC_NUM_RDX_VALID_NP(n) \
283 	((!(n).len) || BC_NUM_RDX_VAL_NP(n) * BC_BASE_DIGS >= (n).scale)
284 
285 /**
286  * Returns true if @a n is negative, false otherwise.
287  * @param n  The number to test.
288  * @return   True if @a n is negative, false otherwise.
289  */
290 #define BC_NUM_NEG(n) ((n)->rdx & ((BcBigDig) 1))
291 
292 /**
293  * Returns true if @a n is negative, false otherwise, where @a n is not a
294  * pointer.
295  * @param n  The number to test.
296  * @return   True if @a n is negative, false otherwise.
297  */
298 #define BC_NUM_NEG_NP(n) ((n).rdx & ((BcBigDig) 1))
299 
300 /**
301  * Clears the negative bit on @a n.
302  * @param n  The number.
303  */
304 #define BC_NUM_NEG_CLR(n) ((n)->rdx &= ~((BcBigDig) 1))
305 
306 /**
307  * Clears the negative bit on @a n, where @a n is not a pointer.
308  * @param n  The number.
309  */
310 #define BC_NUM_NEG_CLR_NP(n) ((n).rdx &= ~((BcBigDig) 1))
311 
312 /**
313  * Sets the negative bit on @a n.
314  * @param n  The number.
315  */
316 #define BC_NUM_NEG_SET(n) ((n)->rdx |= ((BcBigDig) 1))
317 
318 /**
319  * Toggles the negative bit on @a n.
320  * @param n  The number.
321  */
322 #define BC_NUM_NEG_TGL(n) ((n)->rdx ^= ((BcBigDig) 1))
323 
324 /**
325  * Toggles the negative bit on @a n, where @a n is not a pointer.
326  * @param n  The number.
327  */
328 #define BC_NUM_NEG_TGL_NP(n) ((n).rdx ^= ((BcBigDig) 1))
329 
330 /**
331  * Returns the rdx val for @a n if the negative bit is set to @a v.
332  * @param n  The number.
333  * @param v  The value for the negative bit.
334  * @return   The value of the rdx of @a n if the negative bit were set to @a v.
335  */
336 #define BC_NUM_NEG_VAL(n, v) (((n)->rdx & ~((BcBigDig) 1)) | (v))
337 
338 /**
339  * Returns the rdx val for @a n if the negative bit is set to @a v, where @a n
340  * is not a pointer.
341  * @param n  The number.
342  * @param v  The value for the negative bit.
343  * @return   The value of the rdx of @a n if the negative bit were set to @a v.
344  */
345 #define BC_NUM_NEG_VAL_NP(n, v) (((n).rdx & ~((BcBigDig) 1)) | (v))
346 
347 /**
348  * Returns the size, in bytes, of limb array with @a n limbs.
349  * @param n  The number.
350  * @return   The size, in bytes, of a limb array with @a n limbs.
351  */
352 #define BC_NUM_SIZE(n) ((n) * sizeof(BcDig))
353 
354 // These are for debugging only.
355 #if BC_DEBUG_CODE
356 #define BC_NUM_PRINT(x) fprintf(stderr, "%s = %lu\n", #x, (unsigned long) (x))
357 #define DUMP_NUM bc_num_dump
358 #else // BC_DEBUG_CODE
359 #undef DUMP_NUM
360 #define DUMP_NUM(x, y)
361 #define BC_NUM_PRINT(x)
362 #endif // BC_DEBUG_CODE
363 
364 /**
365  * A function type for binary operators.
366  * @param a      The first parameter.
367  * @param b      The second parameter.
368  * @param c      The return value.
369  * @param scale  The current scale.
370  */
371 typedef void (*BcNumBinaryOp)(BcNum* a, BcNum* b, BcNum* c, size_t scale);
372 
373 /**
374  * A function type for binary operators *after* @a c has been properly
375  * allocated. At this point, *nothing* should be pointing to @a c (in any way
376  * that matters, anyway).
377  * @param a      The first operand.
378  * @param b      The second operand.
379  * @param c      The return parameter.
380  * @param scale  The current scale.
381  */
382 typedef void (*BcNumBinOp)(BcNum* a, BcNum* b, BcNum* restrict c, size_t scale);
383 
384 /**
385  * A function type for getting the allocation size needed for a binary operator.
386  * Any function used for this *must* return enough space for *all* possible
387  * invocations of the operator.
388  * @param a      The first parameter.
389  * @param b      The second parameter.
390  * @param scale  The current scale.
391  * @return       The size of allocation needed for the result of the operator
392  *               with @a a, @a b, and @a scale.
393  */
394 typedef size_t (*BcNumBinaryOpReq)(const BcNum* a, const BcNum* b,
395                                    size_t scale);
396 
397 /**
398  * A function type for printing a "digit." Functions of this type will print one
399  * digit in a number. Digits are printed differently based on the base, which is
400  * why there is more than one implementation of this function type.
401  * @param n       The "digit" to print.
402  * @param len     The "length" of the digit, or number of characters that will
403  *                need to be printed for the digit.
404  * @param rdx     True if a decimal (radix) point should be printed.
405  * @param bslash  True if a backslash+newline should be printed if the character
406  *                limit for the line is reached, false otherwise.
407  */
408 typedef void (*BcNumDigitOp)(size_t n, size_t len, bool rdx, bool bslash);
409 
410 /**
411  * A function type to run an operator on @a a and @a b and store the result in
412  * @a a. This is used in karatsuba for faster adds and subtracts at the end.
413  * @param a    The first parameter and return value.
414  * @param b    The second parameter.
415  * @param len  The minimum length of both arrays.
416  */
417 typedef void (*BcNumShiftAddOp)(BcDig* restrict a, const BcDig* restrict b,
418                                 size_t len);
419 
420 /**
421  * Initializes @a n with @a req limbs in its array.
422  * @param n    The number to initialize.
423  * @param req  The number of limbs @a n must have in its limb array.
424  */
425 void
426 bc_num_init(BcNum* restrict n, size_t req);
427 
428 /**
429  * Initializes (sets up) @a n with the preallocated limb array @a num that has
430  * size @a cap. This is called by @a bc_num_init(), but it is also used by parts
431  * of bc that use statically allocated limb arrays.
432  * @param n    The number to initialize.
433  * @param num  The preallocated limb array.
434  * @param cap  The capacity of @a num.
435  */
436 void
437 bc_num_setup(BcNum* restrict n, BcDig* restrict num, size_t cap);
438 
439 /**
440  * Copies @a s into @a d. This does a deep copy and requires that @a d is
441  * already a valid and allocated BcNum.
442  * @param d  The destination BcNum.
443  * @param s  The source BcNum.
444  */
445 void
446 bc_num_copy(BcNum* d, const BcNum* s);
447 
448 /**
449  * Creates @a d and copies @a s into @a d. This does a deep copy and requires
450  * that @a d is *not* a valid or allocated BcNum.
451  * @param d  The destination BcNum.
452  * @param s  The source BcNum.
453  */
454 void
455 bc_num_createCopy(BcNum* d, const BcNum* s);
456 
457 /**
458  * Creates (initializes) @a n and sets its value to the equivalent of @a val.
459  * @a n must *not* be a valid or preallocated BcNum.
460  * @param n    The number to initialize and set.
461  * @param val  The value to set @a n's value to.
462  */
463 void
464 bc_num_createFromBigdig(BcNum* restrict n, BcBigDig val);
465 
466 /**
467  * Makes @a n valid for holding strings. @a n must *not* be allocated; this
468  * simply clears some fields, including setting the num field to NULL.
469  * @param n  The number to clear.
470  */
471 void
472 bc_num_clear(BcNum* restrict n);
473 
474 /**
475  * Frees @a num, which is a BcNum as a void pointer. This is a destructor.
476  * @param num  The BcNum to free as a void pointer.
477  */
478 void
479 bc_num_free(void* num);
480 
481 /**
482  * Returns the scale of @a n.
483  * @param n  The number.
484  * @return   The scale of @a n.
485  */
486 size_t
487 bc_num_scale(const BcNum* restrict n);
488 
489 /**
490  * Returns the length (in decimal digits) of @a n. This is complicated. First,
491  * if the number is zero, we always return at least one, but we also return the
492  * scale if it exists. Then, If it is not zero, it opens a whole other can of
493  * worms. Read the comments in the definition.
494  * @param n  The number.
495  * @return   The length of @a n.
496  */
497 size_t
498 bc_num_len(const BcNum* restrict n);
499 
500 /**
501  * Convert a number to a BcBigDig (hardware integer). This version does error
502  * checking, and if it finds an error, throws it. Otherwise, it calls
503  * bc_num_bigdig2().
504  * @param n  The number to convert.
505  * @return   The number as a hardware integer.
506  */
507 BcBigDig
508 bc_num_bigdig(const BcNum* restrict n);
509 
510 /**
511  * Convert a number to a BcBigDig (hardware integer). This version does no error
512  * checking.
513  * @param n  The number to convert.
514  * @return   The number as a hardware integer.
515  */
516 BcBigDig
517 bc_num_bigdig2(const BcNum* restrict n);
518 
519 /**
520  * Sets @a n to the value of @a val. @a n is expected to be a valid and
521  * allocated BcNum.
522  * @param n    The number to set.
523  * @param val  The value to set the number to.
524  */
525 void
526 bc_num_bigdig2num(BcNum* restrict n, BcBigDig val);
527 
528 #if BC_ENABLE_EXTRA_MATH
529 
530 /**
531  * Generates a random arbitrary-size integer less than or equal to @a a and
532  * returns it in @a b. This implements irand().
533  * @param a    The limit for the integer to generate.
534  * @param b    The return value.
535  * @param rng  The pseudo-random number generator.
536  */
537 void
538 bc_num_irand(BcNum* restrict a, BcNum* restrict b, struct BcRNG* restrict rng);
539 
540 /**
541  * Sets the seed for the PRNG @a rng from @a n.
542  * @param n    The new seed for the PRNG.
543  * @param rng  The PRNG to set the seed for.
544  */
545 void
546 bc_num_rng(const BcNum* restrict n, struct BcRNG* rng);
547 
548 /**
549  * Sets @a n to the value produced by the PRNG. This implements rand().
550  * @param n    The number to set.
551  * @param rng  The pseudo-random number generator.
552  */
553 void
554 bc_num_createFromRNG(BcNum* restrict n, struct BcRNG* rng);
555 
556 #endif // BC_ENABLE_EXTRA_MATH
557 
558 /**
559  * The add function. This is a BcNumBinaryOp function.
560  * @param a      The first parameter.
561  * @param b      The second parameter.
562  * @param c      The return value.
563  * @param scale  The current scale.
564  */
565 void
566 bc_num_add(BcNum* a, BcNum* b, BcNum* c, size_t scale);
567 
568 /**
569  * The subtract function. This is a BcNumBinaryOp function.
570  * @param a      The first parameter.
571  * @param b      The second parameter.
572  * @param c      The return value.
573  * @param scale  The current scale.
574  */
575 void
576 bc_num_sub(BcNum* a, BcNum* b, BcNum* c, size_t scale);
577 
578 /**
579  * The multiply function.
580  * @param a      The first parameter. This is a BcNumBinaryOp function.
581  * @param b      The second parameter.
582  * @param c      The return value.
583  * @param scale  The current scale.
584  */
585 void
586 bc_num_mul(BcNum* a, BcNum* b, BcNum* c, size_t scale);
587 
588 /**
589  * The division function.
590  * @param a      The first parameter. This is a BcNumBinaryOp function.
591  * @param b      The second parameter.
592  * @param c      The return value.
593  * @param scale  The current scale.
594  */
595 void
596 bc_num_div(BcNum* a, BcNum* b, BcNum* c, size_t scale);
597 
598 /**
599  * The modulus function.
600  * @param a      The first parameter. This is a BcNumBinaryOp function.
601  * @param b      The second parameter.
602  * @param c      The return value.
603  * @param scale  The current scale.
604  */
605 void
606 bc_num_mod(BcNum* a, BcNum* b, BcNum* c, size_t scale);
607 
608 /**
609  * The power function.
610  * @param a      The first parameter. This is a BcNumBinaryOp function.
611  * @param b      The second parameter.
612  * @param c      The return value.
613  * @param scale  The current scale.
614  */
615 void
616 bc_num_pow(BcNum* a, BcNum* b, BcNum* c, size_t scale);
617 #if BC_ENABLE_EXTRA_MATH
618 
619 /**
620  * The places function (@ operator). This is a BcNumBinaryOp function.
621  * @param a      The first parameter.
622  * @param b      The second parameter.
623  * @param c      The return value.
624  * @param scale  The current scale.
625  */
626 void
627 bc_num_places(BcNum* a, BcNum* b, BcNum* c, size_t scale);
628 
629 /**
630  * The left shift function (<< operator). This is a BcNumBinaryOp function.
631  * @param a      The first parameter.
632  * @param b      The second parameter.
633  * @param c      The return value.
634  * @param scale  The current scale.
635  */
636 void
637 bc_num_lshift(BcNum* a, BcNum* b, BcNum* c, size_t scale);
638 
639 /**
640  * The right shift function (>> operator). This is a BcNumBinaryOp function.
641  * @param a      The first parameter.
642  * @param b      The second parameter.
643  * @param c      The return value.
644  * @param scale  The current scale.
645  */
646 void
647 bc_num_rshift(BcNum* a, BcNum* b, BcNum* c, size_t scale);
648 
649 #endif // BC_ENABLE_EXTRA_MATH
650 
651 /**
652  * Square root.
653  * @param a      The first parameter.
654  * @param b      The return value.
655  * @param scale  The current scale.
656  */
657 void
658 bc_num_sqrt(BcNum* restrict a, BcNum* restrict b, size_t scale);
659 
660 /**
661  * Divsion and modulus together. This is a dc extension.
662  * @param a      The first parameter.
663  * @param b      The second parameter.
664  * @param c      The first return value (quotient).
665  * @param d      The second return value (modulus).
666  * @param scale  The current scale.
667  */
668 void
669 bc_num_divmod(BcNum* a, BcNum* b, BcNum* c, BcNum* d, size_t scale);
670 
671 /**
672  * A function returning the required allocation size for an addition or a
673  * subtraction. This is a BcNumBinaryOpReq function.
674  * @param a      The first parameter.
675  * @param b      The second parameter.
676  * @param scale  The current scale.
677  * @return       The size of allocation needed for the result of add or subtract
678  *               with @a a, @a b, and @a scale.
679  */
680 size_t
681 bc_num_addReq(const BcNum* a, const BcNum* b, size_t scale);
682 
683 /**
684  * A function returning the required allocation size for a multiplication. This
685  * is a BcNumBinaryOpReq function.
686  * @param a      The first parameter.
687  * @param b      The second parameter.
688  * @param scale  The current scale.
689  * @return       The size of allocation needed for the result of multiplication
690  *               with @a a, @a b, and @a scale.
691  */
692 size_t
693 bc_num_mulReq(const BcNum* a, const BcNum* b, size_t scale);
694 
695 /**
696  * A function returning the required allocation size for a division or modulus.
697  * This is a BcNumBinaryOpReq function.
698  * @param a      The first parameter.
699  * @param b      The second parameter.
700  * @param scale  The current scale.
701  * @return       The size of allocation needed for the result of division or
702  *               modulus with @a a, @a b, and @a scale.
703  */
704 size_t
705 bc_num_divReq(const BcNum* a, const BcNum* b, size_t scale);
706 
707 /**
708  * A function returning the required allocation size for an exponentiation. This
709  * is a BcNumBinaryOpReq function.
710  * @param a      The first parameter.
711  * @param b      The second parameter.
712  * @param scale  The current scale.
713  * @return       The size of allocation needed for the result of exponentiation
714  *               with @a a, @a b, and @a scale.
715  */
716 size_t
717 bc_num_powReq(const BcNum* a, const BcNum* b, size_t scale);
718 
719 #if BC_ENABLE_EXTRA_MATH
720 
721 /**
722  * A function returning the required allocation size for a places, left shift,
723  * or right shift. This is a BcNumBinaryOpReq function.
724  * @param a      The first parameter.
725  * @param b      The second parameter.
726  * @param scale  The current scale.
727  * @return       The size of allocation needed for the result of places, left
728  *               shift, or right shift with @a a, @a b, and @a scale.
729  */
730 size_t
731 bc_num_placesReq(const BcNum* a, const BcNum* b, size_t scale);
732 
733 #endif // BC_ENABLE_EXTRA_MATH
734 
735 /**
736  * Truncate @a n *by* @a places decimal places. This only extends places *after*
737  * the decimal point.
738  * @param n       The number to truncate.
739  * @param places  The number of places to truncate @a n by.
740  */
741 void
742 bc_num_truncate(BcNum* restrict n, size_t places);
743 
744 /**
745  * Extend @a n *by* @a places decimal places. This only extends places *after*
746  * the decimal point.
747  * @param n       The number to truncate.
748  * @param places  The number of places to extend @a n by.
749  */
750 void
751 bc_num_extend(BcNum* restrict n, size_t places);
752 
753 /**
754  * Shifts @a n right by @a places decimal places. This is the workhorse of the
755  * right shift operator, and would be static to src/num.c, except that
756  * src/library.c uses it for efficiency when executing its frand.
757  * @param n       The number to shift right.
758  * @param places  The number of decimal places to shift @a n right by.
759  */
760 void
761 bc_num_shiftRight(BcNum* restrict n, size_t places);
762 
763 /**
764  * Compare a and b and return the result of their comparison as an ssize_t.
765  * Returns >0 if @a a is greater than @a b, <0 if @a a is less than @a b, and =0
766  * if a == b.
767  * @param a  The first number.
768  * @param b  The second number.
769  * @return   The result of the comparison.
770  */
771 ssize_t
772 bc_num_cmp(const BcNum* a, const BcNum* b);
773 
774 /**
775  * Modular exponentiation.
776  * @param a      The first parameter.
777  * @param b      The second parameter.
778  * @param c      The third parameter.
779  * @param d      The return value.
780  */
781 void
782 bc_num_modexp(BcNum* a, BcNum* b, BcNum* c, BcNum* restrict d);
783 
784 /**
785  * Sets @a n to zero with a scale of zero.
786  * @param n  The number to zero.
787  */
788 void
789 bc_num_zero(BcNum* restrict n);
790 
791 /**
792  * Sets @a n to one with a scale of zero.
793  * @param n  The number to set to one.
794  */
795 void
796 bc_num_one(BcNum* restrict n);
797 
798 /**
799  * An efficient function to compare @a n to zero.
800  * @param n  The number to compare to zero.
801  * @return   The result of the comparison.
802  */
803 ssize_t
804 bc_num_cmpZero(const BcNum* n);
805 
806 /**
807  * Check a number string for validity and return true if it is, false otherwise.
808  * The library needs this to check user-supplied strings, but in bc and dc, this
809  * is only used for debug asserts because the parsers should get the numbers
810  * parsed right, which should ensure they are always valid.
811  * @param val  The string to check.
812  * @return     True if the string is a valid number, false otherwise.
813  */
814 bool
815 bc_num_strValid(const char* restrict val);
816 
817 /**
818  * Parses a number string into the number @a n according to @a base.
819  * @param n     The number to set to the parsed value.
820  * @param val   The number string to parse.
821  * @param base  The base to parse the number string by.
822  */
823 void
824 bc_num_parse(BcNum* restrict n, const char* restrict val, BcBigDig base);
825 
826 /**
827  * Prints the number @a n according to @a base.
828  * @param n        The number to print.
829  * @param base     The base to print the number by.
830  * @param newline  True if a newline should be inserted at the end, false
831  *                 otherwise.
832  */
833 void
834 bc_num_print(BcNum* restrict n, BcBigDig base, bool newline);
835 
836 /**
837  * Invert @a into @a b at the current scale.
838  * @param a      The number to invert.
839  * @param b      The return parameter. This must be preallocated.
840  * @param scale  The current scale.
841  */
842 #define bc_num_inv(a, b, scale) bc_num_div(&vm->one, (a), (b), (scale))
843 
844 #if !BC_ENABLE_LIBRARY
845 
846 /**
847  * Prints a number as a character stream.
848  * @param n     The number to print as a character stream.
849  */
850 void
851 bc_num_stream(BcNum* restrict n);
852 
853 #endif // !BC_ENABLE_LIBRARY
854 
855 #if BC_DEBUG_CODE
856 
857 /**
858  * Print a number with a label. This is a debug-only function.
859  * @param n          The number to print.
860  * @param name       The label to print the number with.
861  * @param emptyline  True if there should be an empty line after the number.
862  */
863 void
864 bc_num_printDebug(const BcNum* n, const char* name, bool emptyline);
865 
866 /**
867  * Print the limbs of @a n. This is a debug-only function.
868  * @param n          The number to print.
869  * @param len        The length of the number.
870  * @param emptyline  True if there should be an empty line after the number.
871  */
872 void
873 bc_num_printDigs(const BcDig* n, size_t len, bool emptyline);
874 
875 /**
876  * Print debug info about @a n along with its limbs.
877  * @param n          The number to print.
878  * @param name       The label to print the number with.
879  * @param emptyline  True if there should be an empty line after the number.
880  */
881 void
882 bc_num_printWithDigs(const BcNum* n, const char* name, bool emptyline);
883 
884 /**
885  * Dump debug info about a BcNum variable.
886  * @param varname  The variable name.
887  * @param n        The number.
888  */
889 void
890 bc_num_dump(const char* varname, const BcNum* n);
891 
892 #endif // BC_DEBUG_CODE
893 
894 /// A reference to an array of hex digits for easy conversion for printing.
895 extern const char bc_num_hex_digits[];
896 
897 /// An array of powers of 10 for easy conversion from number of digits to
898 /// powers.
899 extern const BcBigDig bc_num_pow10[BC_BASE_DIGS + 1];
900 
901 /// A reference to a constant array that is the max of a BigDig.
902 extern const BcDig bc_num_bigdigMax[];
903 
904 /// A reference to a constant size of the above array.
905 extern const size_t bc_num_bigdigMax_size;
906 
907 /// A reference to a constant array that is 2 times the max of a BigDig.
908 extern const BcDig bc_num_bigdigMax2[];
909 
910 /// A reference to a constant size of the above array.
911 extern const size_t bc_num_bigdigMax2_size;
912 
913 #endif // BC_NUM_H
914