Commit 98175d3c authored by MARCHE Claude's avatar MARCHE Claude

improved extraction process

parent f7db94c9
......@@ -97,10 +97,11 @@ module N
let zero = of_int 0 in
let one = of_int 1 in
let base31 = of_int base in
let base31 = of_int 32768 in
assert { to_int base31 = base };
let l = x.length in
let h = y.length in
if Int31.(>=) h (of_int Int31.max_int31) then raise TooManyDigits;
if Int31.(>=) h (of_int 0x3FFFFFFF) then raise TooManyDigits;
let arr = Array31.make (Int31.(+) h one) zero in
let carry = ref zero in
let i = ref zero in
......@@ -20,7 +20,7 @@ ifeq ($(BENCH),yes)
GEN=map__Map bigInt__N
GENML = $(addsuffix .ml, $(GEN))
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment