2021-01-24 13:55:35 -06:00
|
|
|
#!/usr/bin/env lua
|
|
|
|
-- If this variable is true, then strict type checking is performed for all
|
|
|
|
-- operations. This may result in slower code, but it will allow you to catch
|
|
|
|
-- errors and bugs earlier.
|
2021-09-20 15:09:02 -05:00
|
|
|
local strict = true
|
2021-01-24 13:55:35 -06:00
|
|
|
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
local bigint = {}
|
2021-09-20 15:09:02 -05:00
|
|
|
setmetatable(bigint, {__call = function(_, arg) return bigint.new(arg) end})
|
2021-01-24 13:55:35 -06:00
|
|
|
|
2021-02-21 19:38:16 -06:00
|
|
|
local mt = {
|
|
|
|
__add = function(lhs, rhs)
|
|
|
|
return bigint.add(lhs, rhs)
|
|
|
|
end,
|
2021-05-29 18:48:34 -05:00
|
|
|
__unm = function(arg)
|
|
|
|
return bigint.negate(arg)
|
2021-02-21 19:38:16 -06:00
|
|
|
end,
|
|
|
|
__sub = function(lhs, rhs)
|
|
|
|
return bigint.subtract(lhs, rhs)
|
|
|
|
end,
|
|
|
|
__mul = function(lhs, rhs)
|
|
|
|
return bigint.multiply(lhs, rhs)
|
|
|
|
end,
|
|
|
|
__div = function(lhs, rhs)
|
|
|
|
return bigint.divide(lhs, rhs)
|
|
|
|
end,
|
|
|
|
__mod = function(lhs, rhs)
|
|
|
|
return bigint.modulus(lhs, rhs)
|
|
|
|
end,
|
|
|
|
__pow = function(lhs, rhs)
|
|
|
|
return bigint.exponentiate(lhs, rhs)
|
|
|
|
end,
|
2021-05-29 18:48:34 -05:00
|
|
|
__tostring = function(arg)
|
|
|
|
return bigint.unserialize(arg, "s")
|
2021-05-15 21:39:15 -05:00
|
|
|
end,
|
|
|
|
__eq = function(lhs, rhs)
|
|
|
|
return bigint.compare(lhs, rhs, "==")
|
|
|
|
end,
|
|
|
|
__lt = function(lhs, rhs)
|
|
|
|
return bigint.compare(lhs, rhs, "<")
|
|
|
|
end,
|
|
|
|
__le = function(lhs, rhs)
|
|
|
|
return bigint.compare(lhs, rhs, "<=")
|
2021-02-21 19:38:16 -06:00
|
|
|
end
|
|
|
|
}
|
|
|
|
|
2021-01-24 13:55:35 -06:00
|
|
|
local named_powers = require("libs.bigint.named-powers-of-ten")
|
|
|
|
|
|
|
|
-- Create a new bigint or convert a number or string into a big
|
|
|
|
-- Returns an empty, positive bigint if no number or string is given
|
|
|
|
function bigint.new(num)
|
|
|
|
local self = {
|
|
|
|
sign = "+",
|
|
|
|
digits = {}
|
|
|
|
}
|
|
|
|
|
|
|
|
-- Return a new bigint with the same sign and digits
|
|
|
|
function self:clone()
|
|
|
|
local newint = bigint.new()
|
|
|
|
newint.sign = self.sign
|
|
|
|
for _, digit in pairs(self.digits) do
|
|
|
|
newint.digits[#newint.digits + 1] = digit
|
|
|
|
end
|
|
|
|
return newint
|
|
|
|
end
|
|
|
|
|
2021-02-21 19:38:16 -06:00
|
|
|
setmetatable(self, mt)
|
2021-01-24 13:55:35 -06:00
|
|
|
|
|
|
|
if (num) then
|
|
|
|
local num_string = tostring(num)
|
|
|
|
for digit in string.gmatch(num_string, "[0-9]") do
|
|
|
|
table.insert(self.digits, tonumber(digit))
|
|
|
|
end
|
|
|
|
if string.sub(num_string, 1, 1) == "-" then
|
|
|
|
self.sign = "-"
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2021-09-20 15:09:02 -05:00
|
|
|
return bigint.strip(self)
|
2021-01-24 13:55:35 -06:00
|
|
|
end
|
|
|
|
|
|
|
|
-- Check the type of a big
|
|
|
|
-- Normally only runs when global variable "strict" == true, but checking can be
|
|
|
|
-- forced by supplying "true" as the second argument.
|
|
|
|
function bigint.check(big, force)
|
|
|
|
if (strict or force) then
|
2021-02-21 19:38:16 -06:00
|
|
|
assert(getmetatable(big) == mt, "at least one arg is not a bigint")
|
2021-01-24 13:55:35 -06:00
|
|
|
assert(#big.digits > 0, "bigint is empty")
|
2021-02-21 19:38:16 -06:00
|
|
|
assert(big.sign == "+" or big.sign == "-", "bigint is unsigned")
|
2021-01-24 13:55:35 -06:00
|
|
|
for _, digit in pairs(big.digits) do
|
2021-02-21 19:38:16 -06:00
|
|
|
assert(type(digit) == "number", "at least one digit is invalid")
|
2021-02-10 10:15:56 -06:00
|
|
|
assert(digit <= 9 and digit >= 0, digit .. " is not between 0 and 9")
|
|
|
|
assert(math.floor(digit) == digit, digit .. " is not an integer")
|
2021-01-24 13:55:35 -06:00
|
|
|
end
|
|
|
|
end
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
|
2021-09-20 15:09:02 -05:00
|
|
|
-- Strip leading zeroes from a big, but don't remove the last zero
|
|
|
|
function bigint.strip(big)
|
|
|
|
while (#big.digits > 1) and (big.digits[1] == 0) do
|
|
|
|
table.remove(big.digits, 1)
|
|
|
|
end
|
|
|
|
return big
|
|
|
|
end
|
|
|
|
|
2021-01-24 13:55:35 -06:00
|
|
|
-- Return a new big with the same digits but with a positive sign (absolute
|
|
|
|
-- value)
|
|
|
|
function bigint.abs(big)
|
|
|
|
bigint.check(big)
|
|
|
|
local result = big:clone()
|
|
|
|
result.sign = "+"
|
|
|
|
return result
|
|
|
|
end
|
|
|
|
|
2021-02-16 12:03:53 -06:00
|
|
|
-- Return a new big with the same digits but the opposite sign (negation)
|
|
|
|
function bigint.negate(big)
|
|
|
|
bigint.check(big)
|
|
|
|
local result = big:clone()
|
|
|
|
if (result.sign == "+") then
|
|
|
|
result.sign = "-"
|
|
|
|
else
|
|
|
|
result.sign = "+"
|
|
|
|
end
|
|
|
|
return result
|
|
|
|
end
|
|
|
|
|
2021-02-08 15:56:06 -06:00
|
|
|
-- Return the number of digits in the big
|
|
|
|
function bigint.digits(big)
|
|
|
|
bigint.check(big)
|
|
|
|
return #big.digits
|
|
|
|
end
|
|
|
|
|
2021-01-24 13:55:35 -06:00
|
|
|
-- Convert a big to a number or string
|
|
|
|
function bigint.unserialize(big, output_type, precision)
|
|
|
|
bigint.check(big)
|
|
|
|
|
|
|
|
local num = ""
|
|
|
|
if big.sign == "-" then
|
|
|
|
num = "-"
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
if ((output_type == nil)
|
|
|
|
or (output_type == "number")
|
|
|
|
or (output_type == "n")
|
|
|
|
or (output_type == "string")
|
|
|
|
or (output_type == "s")) then
|
|
|
|
-- Unserialization to a string or number requires reconstructing the
|
|
|
|
-- entire number
|
|
|
|
|
|
|
|
for _, digit in pairs(big.digits) do
|
|
|
|
num = num .. math.floor(digit) -- lazy way of getting rid of .0$
|
|
|
|
end
|
|
|
|
|
|
|
|
if ((output_type == nil)
|
|
|
|
or (output_type == "number")
|
|
|
|
or (output_type == "n")) then
|
|
|
|
return tonumber(num)
|
|
|
|
else
|
|
|
|
return num
|
|
|
|
end
|
|
|
|
|
|
|
|
else
|
|
|
|
-- Unserialization to human-readable form or scientific notation only
|
|
|
|
-- requires reading the first few digits
|
|
|
|
if (precision == nil) then
|
2021-02-10 11:45:55 -06:00
|
|
|
precision = math.min(#big.digits, 3)
|
2021-01-24 13:55:35 -06:00
|
|
|
else
|
|
|
|
assert(precision > 0, "Precision cannot be less than 1")
|
|
|
|
assert(math.floor(precision) == precision,
|
|
|
|
"Precision must be a positive integer")
|
|
|
|
end
|
|
|
|
|
|
|
|
-- num is the first (precision + 1) digits, the first being separated by
|
|
|
|
-- a decimal point from the others
|
2021-02-10 10:38:10 -06:00
|
|
|
num = num .. math.floor(big.digits[1])
|
2021-01-24 13:55:35 -06:00
|
|
|
if (precision > 1) then
|
|
|
|
num = num .. "."
|
|
|
|
for i = 1, (precision - 1) do
|
2021-02-10 10:38:10 -06:00
|
|
|
num = num .. math.floor(big.digits[i + 1])
|
2021-01-24 13:55:35 -06:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
if ((output_type == "human-readable")
|
|
|
|
or (output_type == "human")
|
2021-02-10 11:45:55 -06:00
|
|
|
or (output_type == "h"))
|
|
|
|
and (#big.digits >= 3 and #big.digits <= 10002) then
|
2021-01-24 13:55:35 -06:00
|
|
|
-- Human-readable output contributed by 123eee555
|
|
|
|
|
|
|
|
local name
|
|
|
|
local walkback = 0 -- Used to enumerate "ten", "hundred", etc
|
|
|
|
|
|
|
|
-- Walk backwards in the index of named_powers starting at the
|
|
|
|
-- number of digits of the input until the first value is found
|
|
|
|
for i = (#big.digits - 1), (#big.digits - 4), -1 do
|
|
|
|
name = named_powers[i]
|
|
|
|
if (name) then
|
|
|
|
if (walkback == 1) then
|
|
|
|
name = "ten " .. name
|
|
|
|
elseif (walkback == 2) then
|
|
|
|
name = "hundred " .. name
|
|
|
|
end
|
|
|
|
break
|
|
|
|
else
|
|
|
|
walkback = walkback + 1
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
return num .. " " .. name
|
|
|
|
|
|
|
|
else
|
|
|
|
return num .. "*10^" .. (#big.digits - 1)
|
|
|
|
end
|
|
|
|
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Basic comparisons
|
|
|
|
-- Accepts symbols (<, >=, ~=) and Unix shell-like options (lt, ge, ne)
|
|
|
|
function bigint.compare(big1, big2, comparison)
|
|
|
|
bigint.check(big1)
|
|
|
|
bigint.check(big2)
|
|
|
|
|
|
|
|
local greater = false -- If big1.digits > big2.digits
|
|
|
|
local equal = false
|
|
|
|
|
|
|
|
if (big1.sign == "-") and (big2.sign == "+") then
|
|
|
|
greater = false
|
|
|
|
elseif (#big1.digits > #big2.digits)
|
|
|
|
or ((big1.sign == "+") and (big2.sign == "-")) then
|
|
|
|
greater = true
|
|
|
|
elseif (#big1.digits == #big2.digits) then
|
|
|
|
-- Walk left to right, comparing digits
|
|
|
|
for digit = 1, #big1.digits do
|
|
|
|
if (big1.digits[digit] > big2.digits[digit]) then
|
|
|
|
greater = true
|
|
|
|
break
|
|
|
|
elseif (big2.digits[digit] > big1.digits[digit]) then
|
|
|
|
break
|
|
|
|
elseif (digit == #big1.digits)
|
|
|
|
and (big1.digits[digit] == big2.digits[digit]) then
|
|
|
|
equal = true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
end
|
|
|
|
|
|
|
|
-- If both numbers are negative, then the requirements for greater are
|
|
|
|
-- reversed
|
|
|
|
if (not equal) and (big1.sign == "-") and (big2.sign == "-") then
|
|
|
|
greater = not greater
|
|
|
|
end
|
|
|
|
|
|
|
|
return (((comparison == "<") or (comparison == "lt"))
|
|
|
|
and ((not greater) and (not equal)) and true)
|
|
|
|
or (((comparison == ">") or (comparison == "gt"))
|
|
|
|
and ((greater) and (not equal)) and true)
|
|
|
|
or (((comparison == "==") or (comparison == "eq"))
|
|
|
|
and (equal) and true)
|
|
|
|
or (((comparison == ">=") or (comparison == "ge"))
|
|
|
|
and (equal or greater) and true)
|
|
|
|
or (((comparison == "<=") or (comparison == "le"))
|
|
|
|
and (equal or not greater) and true)
|
|
|
|
or (((comparison == "~=") or (comparison == "!=") or (comparison == "ne"))
|
|
|
|
and (not equal) and true)
|
|
|
|
or false
|
|
|
|
end
|
|
|
|
|
|
|
|
-- BACKEND: Add big1 and big2, ignoring signs
|
|
|
|
function bigint.add_raw(big1, big2)
|
|
|
|
bigint.check(big1)
|
|
|
|
bigint.check(big2)
|
|
|
|
|
|
|
|
local result = bigint.new()
|
|
|
|
local max_digits = 0
|
|
|
|
local carry = 0
|
|
|
|
|
|
|
|
if (#big1.digits >= #big2.digits) then
|
|
|
|
max_digits = #big1.digits
|
|
|
|
else
|
|
|
|
max_digits = #big2.digits
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Walk backwards right to left, like in long addition
|
|
|
|
for digit = 0, max_digits - 1 do
|
|
|
|
local sum = (big1.digits[#big1.digits - digit] or 0)
|
|
|
|
+ (big2.digits[#big2.digits - digit] or 0)
|
|
|
|
+ carry
|
|
|
|
|
|
|
|
if (sum >= 10) then
|
|
|
|
carry = 1
|
|
|
|
sum = sum - 10
|
|
|
|
else
|
|
|
|
carry = 0
|
|
|
|
end
|
|
|
|
|
|
|
|
result.digits[max_digits - digit] = sum
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Leftover carry in cases when #big1.digits == #big2.digits and sum > 10, ex. 7 + 9
|
|
|
|
if (carry == 1) then
|
|
|
|
table.insert(result.digits, 1, 1)
|
|
|
|
end
|
|
|
|
|
|
|
|
return result
|
|
|
|
|
|
|
|
end
|
|
|
|
|
|
|
|
-- BACKEND: Subtract big2 from big1, ignoring signs
|
|
|
|
function bigint.subtract_raw(big1, big2)
|
|
|
|
-- Type checking is done by bigint.compare
|
|
|
|
assert(bigint.compare(bigint.abs(big1), bigint.abs(big2), ">="),
|
|
|
|
"Size of " .. bigint.unserialize(big1, "string") .. " is less than "
|
|
|
|
.. bigint.unserialize(big2, "string"))
|
|
|
|
|
|
|
|
local result = big1:clone()
|
|
|
|
local max_digits = #big1.digits
|
|
|
|
local borrow = 0
|
|
|
|
|
|
|
|
-- Logic mostly copied from bigint.add_raw ---------------------------------
|
|
|
|
-- Walk backwards right to left, like in long subtraction
|
|
|
|
for digit = 0, max_digits - 1 do
|
|
|
|
local diff = (big1.digits[#big1.digits - digit] or 0)
|
|
|
|
- (big2.digits[#big2.digits - digit] or 0)
|
|
|
|
- borrow
|
|
|
|
|
|
|
|
if (diff < 0) then
|
|
|
|
borrow = 1
|
|
|
|
diff = diff + 10
|
|
|
|
else
|
|
|
|
borrow = 0
|
|
|
|
end
|
|
|
|
|
|
|
|
result.digits[max_digits - digit] = diff
|
|
|
|
end
|
|
|
|
----------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
2021-09-20 15:09:02 -05:00
|
|
|
return bigint.strip(result)
|
2021-01-24 13:55:35 -06:00
|
|
|
end
|
|
|
|
|
|
|
|
-- FRONTEND: Addition and subtraction operations, accounting for signs
|
|
|
|
function bigint.add(big1, big2)
|
|
|
|
-- Type checking is done by bigint.compare
|
|
|
|
|
|
|
|
local result
|
|
|
|
|
|
|
|
-- If adding numbers of different sign, subtract the smaller sized one from
|
|
|
|
-- the bigger sized one and take the sign of the bigger sized one
|
|
|
|
if (big1.sign ~= big2.sign) then
|
|
|
|
if (bigint.compare(bigint.abs(big1), bigint.abs(big2), ">")) then
|
|
|
|
result = bigint.subtract_raw(big1, big2)
|
|
|
|
result.sign = big1.sign
|
|
|
|
else
|
|
|
|
result = bigint.subtract_raw(big2, big1)
|
|
|
|
result.sign = big2.sign
|
|
|
|
end
|
|
|
|
|
|
|
|
elseif (big1.sign == "+") and (big2.sign == "+") then
|
|
|
|
result = bigint.add_raw(big1, big2)
|
|
|
|
|
|
|
|
elseif (big1.sign == "-") and (big2.sign == "-") then
|
|
|
|
result = bigint.add_raw(big1, big2)
|
|
|
|
result.sign = "-"
|
|
|
|
end
|
|
|
|
|
|
|
|
return result
|
|
|
|
end
|
2021-09-21 17:01:36 -05:00
|
|
|
|
2021-01-24 13:55:35 -06:00
|
|
|
function bigint.subtract(big1, big2)
|
|
|
|
-- Type checking is done by bigint.compare in bigint.add
|
|
|
|
-- Subtracting is like adding a negative
|
|
|
|
local big2_local = big2:clone()
|
|
|
|
if (big2.sign == "+") then
|
|
|
|
big2_local.sign = "-"
|
|
|
|
else
|
|
|
|
big2_local.sign = "+"
|
|
|
|
end
|
|
|
|
return bigint.add(big1, big2_local)
|
|
|
|
end
|
|
|
|
|
|
|
|
-- BACKEND: Multiply a big by a single digit big, ignoring signs
|
|
|
|
function bigint.multiply_single(big1, big2)
|
|
|
|
bigint.check(big1)
|
|
|
|
bigint.check(big2)
|
|
|
|
assert(#big2.digits == 1, bigint.unserialize(big2, "string")
|
|
|
|
.. " has more than one digit")
|
|
|
|
|
|
|
|
local result = bigint.new()
|
|
|
|
local carry = 0
|
|
|
|
|
|
|
|
-- Logic mostly copied from bigint.add_raw ---------------------------------
|
|
|
|
-- Walk backwards right to left, like in long multiplication
|
|
|
|
for digit = 0, #big1.digits - 1 do
|
|
|
|
local this_digit = big1.digits[#big1.digits - digit]
|
|
|
|
* big2.digits[1]
|
|
|
|
+ carry
|
|
|
|
|
|
|
|
if (this_digit >= 10) then
|
|
|
|
carry = math.floor(this_digit / 10)
|
|
|
|
this_digit = this_digit - (carry * 10)
|
|
|
|
else
|
|
|
|
carry = 0
|
|
|
|
end
|
|
|
|
|
|
|
|
result.digits[#big1.digits - digit] = this_digit
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Leftover carry in cases when big1.digits[1] * big2.digits[1] > 0
|
|
|
|
if (carry > 0) then
|
|
|
|
table.insert(result.digits, 1, carry)
|
|
|
|
end
|
|
|
|
----------------------------------------------------------------------------
|
|
|
|
|
|
|
|
return result
|
|
|
|
end
|
|
|
|
|
|
|
|
-- FRONTEND: Multiply two bigs, accounting for signs
|
|
|
|
function bigint.multiply(big1, big2)
|
|
|
|
-- Type checking done by bigint.multiply_single
|
|
|
|
|
|
|
|
local result = bigint.new(0)
|
|
|
|
local larger, smaller -- Larger and smaller in terms of digits, not size
|
|
|
|
|
|
|
|
if (bigint.unserialize(big1) == 0) or (bigint.unserialize(big2) == 0) then
|
|
|
|
return result
|
|
|
|
end
|
|
|
|
|
|
|
|
if (#big1.digits >= #big2.digits) then
|
|
|
|
larger = big1
|
|
|
|
smaller = big2
|
|
|
|
else
|
|
|
|
larger = big2
|
|
|
|
smaller = big1
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Walk backwards right to left, like in long multiplication
|
|
|
|
for digit = 0, #smaller.digits - 1 do
|
|
|
|
-- Sorry for going over column 80! There's lots of big names here
|
|
|
|
local this_digit_product = bigint.multiply_single(larger,
|
|
|
|
bigint.new(smaller.digits[#smaller.digits - digit]))
|
|
|
|
|
|
|
|
-- "Placeholding zeroes"
|
|
|
|
if (digit > 0) then
|
|
|
|
for placeholder = 1, digit do
|
|
|
|
table.insert(this_digit_product.digits, 0)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
result = bigint.add(result, this_digit_product)
|
|
|
|
end
|
|
|
|
|
|
|
|
if (larger.sign == smaller.sign) then
|
|
|
|
result.sign = "+"
|
|
|
|
else
|
|
|
|
result.sign = "-"
|
|
|
|
end
|
|
|
|
|
|
|
|
return result
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Raise a big to a positive integer or big power (TODO: negative integer power)
|
|
|
|
function bigint.exponentiate(big, power)
|
|
|
|
-- Type checking for big done by bigint.multiply
|
|
|
|
assert(bigint.compare(power, bigint.new(0), ">="),
|
2021-09-20 15:09:02 -05:00
|
|
|
"negative powers are not supported")
|
2021-01-24 13:55:35 -06:00
|
|
|
local exp = power:clone()
|
|
|
|
|
|
|
|
if (bigint.compare(exp, bigint.new(0), "==")) then
|
|
|
|
return bigint.new(1)
|
|
|
|
elseif (bigint.compare(exp, bigint.new(1), "==")) then
|
2021-02-12 09:05:04 -06:00
|
|
|
return big:clone()
|
2021-01-24 13:55:35 -06:00
|
|
|
else
|
2021-02-08 15:07:48 -06:00
|
|
|
local result = bigint.new(1)
|
|
|
|
local base = big:clone()
|
|
|
|
|
2021-02-10 10:38:10 -06:00
|
|
|
while (true) do
|
2021-02-08 15:07:48 -06:00
|
|
|
if (bigint.compare(
|
|
|
|
bigint.modulus(exp, bigint.new(2)), bigint.new(1), "=="
|
|
|
|
)) then
|
|
|
|
result = bigint.multiply(result, base)
|
|
|
|
end
|
2021-02-10 10:38:10 -06:00
|
|
|
if (bigint.compare(exp, bigint.new(1), "==")) then
|
|
|
|
break
|
|
|
|
else
|
|
|
|
exp = bigint.divide(exp, bigint.new(2))
|
|
|
|
base = bigint.multiply(base, base)
|
|
|
|
end
|
2021-01-24 13:55:35 -06:00
|
|
|
end
|
|
|
|
|
|
|
|
return result
|
|
|
|
end
|
|
|
|
|
|
|
|
end
|
|
|
|
|
|
|
|
-- BACKEND: Divide two bigs (decimals not supported), returning big result and
|
|
|
|
-- big remainder
|
|
|
|
-- WARNING: Only supports positive integers
|
|
|
|
function bigint.divide_raw(big1, big2)
|
|
|
|
-- Type checking done by bigint.compare
|
|
|
|
if (bigint.compare(big1, big2, "==")) then
|
|
|
|
return bigint.new(1), bigint.new(0)
|
|
|
|
elseif (bigint.compare(big1, big2, "<")) then
|
2021-02-08 09:23:10 -06:00
|
|
|
return bigint.new(0), big1:clone()
|
2021-01-24 13:55:35 -06:00
|
|
|
else
|
|
|
|
assert(bigint.compare(big2, bigint.new(0), "!="), "error: divide by zero")
|
|
|
|
assert(big1.sign == "+", "error: big1 is not positive")
|
|
|
|
assert(big2.sign == "+", "error: big2 is not positive")
|
|
|
|
|
|
|
|
local result = bigint.new()
|
|
|
|
|
2021-02-08 15:07:48 -06:00
|
|
|
local dividend = bigint.new() -- Dividend of a single operation
|
2021-01-24 13:55:35 -06:00
|
|
|
|
2021-02-08 15:07:48 -06:00
|
|
|
local neg_zero = bigint.new(0)
|
|
|
|
neg_zero.sign = "-"
|
2021-01-24 13:55:35 -06:00
|
|
|
|
2021-02-08 15:07:48 -06:00
|
|
|
for i = 1, #big1.digits do
|
|
|
|
-- Fixes a negative zero bug
|
|
|
|
if (#dividend.digits ~= 0) and (bigint.compare(dividend, neg_zero, "==")) then
|
|
|
|
dividend = bigint.new()
|
|
|
|
end
|
|
|
|
|
|
|
|
table.insert(dividend.digits, big1.digits[i])
|
|
|
|
|
|
|
|
local factor = bigint.new(0)
|
|
|
|
while bigint.compare(dividend, big2, ">=") do
|
|
|
|
dividend = bigint.subtract(dividend, big2)
|
|
|
|
factor = bigint.add(factor, bigint.new(1))
|
|
|
|
end
|
2021-01-24 13:55:35 -06:00
|
|
|
|
2021-02-08 15:07:48 -06:00
|
|
|
for i = 0, #factor.digits - 1 do
|
|
|
|
result.digits[#result.digits + 1 - i] = factor.digits[i + 1]
|
2021-01-24 13:55:35 -06:00
|
|
|
end
|
2021-02-08 15:07:48 -06:00
|
|
|
end
|
2021-01-24 13:55:35 -06:00
|
|
|
|
2021-09-20 15:09:02 -05:00
|
|
|
return bigint.strip(result), dividend
|
2021-01-24 13:55:35 -06:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- FRONTEND: Divide two bigs (decimals not supported), returning big result and
|
|
|
|
-- big remainder, accounting for signs
|
|
|
|
function bigint.divide(big1, big2)
|
|
|
|
local result, remainder = bigint.divide_raw(bigint.abs(big1),
|
|
|
|
bigint.abs(big2))
|
|
|
|
if (big1.sign == big2.sign) then
|
|
|
|
result.sign = "+"
|
|
|
|
else
|
|
|
|
result.sign = "-"
|
|
|
|
end
|
|
|
|
|
|
|
|
return result, remainder
|
|
|
|
end
|
|
|
|
|
|
|
|
-- FRONTEND: Return only the remainder from bigint.divide
|
|
|
|
function bigint.modulus(big1, big2)
|
|
|
|
local result, remainder = bigint.divide(big1, big2)
|
|
|
|
|
|
|
|
-- Remainder will always have the same sign as the dividend per C standard
|
|
|
|
-- https://en.wikipedia.org/wiki/Modulo_operation#Remainder_calculation_for_the_modulo_operation
|
|
|
|
remainder.sign = big1.sign
|
|
|
|
return remainder
|
|
|
|
end
|
|
|
|
|
|
|
|
return bigint
|