Yukihiro "Matz" Matsumoto
4507b4a633
Barrett reduction requires x < 2^(2*bits(m)); the gate condition only required x->sz >= y->sz + 2, which let x.sz reach 25 limbs against a 4-limb modulus. When the precondition is violated, mpz_barrett_reduce silently truncates high limbs and returns garbage. Integer#remainder, which routes through mpz_mod, was affected: (3**500).remainder((2**100)+3) returned the wrong value. Integer#% took the udiv path via mpz_mmod and was unaffected. Add x->sz <= 2 * y->sz to the gate so out-of-range inputs fall through to the general udiv path. Co-authored-by: Claude <noreply@anthropic.com>
mruby-bigint
mruby-bigint is an mrbgem that provides multi-precision integer (BigInt) support for mruby. It allows you to work with integers that are larger than the standard Integer type can handle.
This extension uses fgmp, which is a public domain implementation of a subset of the GNU gmp library by Mark Henderson markh@wimsey.bc.ca. But it's heavily modified to fit with mruby. You can get the original source code from https://github.com/deischi/fgmp.git. You can read the original README for fgmp in README-fgmp.md.
If you want to create your own Multi-precision Integer GEM, see examples/mrbgems/mruby-YOUR-bigint/TODO-HINT.md.
Features
- Basic arithmetic operations:
+,-,*,/,% - Power operation:
** - Modular exponentiation
- Bitwise operations:
&,|,^,<<,>> - Comparison:
<=> - Conversion to and from strings:
to_s,String#to_i(with base) - Square root
- Greatest Common Divisor (GCD) (available if
MRB_USE_RATIONALis defined)
Usage
Here are some simple examples of how to use mruby-bigint:
# Creating BigInts
a = BigInt(12345678901234567890)
b = "98765432109876543210".to_i(10) # Specify base 10 for string conversion
# Arithmetic operations
c = a + b
puts c.to_s # Output: 111111111011111111100
d = a * 2
puts d.to_s # Output: 24691357802469135780
# Comparison
puts a <=> b # Output: -1
fgmp Dependency
mruby-bigint depends on fgmp. For more information about fgmp, please see README-fgmp.md.