Lines Matching refs:abs_value
21 abs_value : nat } RecordField
28 abs_value = nat }
36 abs_value = make_nat 1 }
40 abs_value = nat_of_int 1 }
44 num_digits_nat (bi.abs_value) 0 (length_nat bi.abs_value)
48 let nd = num_digits_nat (bi.abs_value) 0 (length_nat bi.abs_value) in
50 let lz = num_leading_zero_bits_in_digit bi.abs_value (nd - 1) in
58 abs_value = copy_nat (bi.abs_value) 0 (num_digits_big_int bi)}
63 abs_value = copy_nat (bi.abs_value) 0 (num_digits_big_int bi)}
78 compare_nat (bi1.abs_value) 0 (num_digits_big_int bi1)
79 (bi2.abs_value) 0 (num_digits_big_int bi2)
81 compare_nat (bi2.abs_value) 0 (num_digits_big_int bi2)
82 (bi1.abs_value) 0 (num_digits_big_int bi1)
97 0 -> { sign = -1; abs_value = nat_of_int 1}
99 let copy_bi = copy_nat (bi.abs_value) 0 size_bi in
102 abs_value = copy_bi }
106 blit_nat copy_bi 0 (bi.abs_value) 0 size_bi;
110 abs_value = copy_bi }
114 0 -> {sign = 1; abs_value = nat_of_int 1}
116 let copy_bi = copy_nat (bi.abs_value) 0 size_bi in
119 abs_value = copy_bi }
123 blit_nat copy_bi 0 (bi.abs_value) 0 size_bi;
127 abs_value = copy_bi }
135 abs_value =
136 match compare_nat (bi1.abs_value) 0 size_bi1
137 (bi2.abs_value) 0 size_bi2 with
139 (blit_nat res 0 (bi2.abs_value) 0 size_bi2;
143 (bi1.abs_value) 0 size_bi1 0);
146 (blit_nat res 0 (bi1.abs_value) 0 size_bi1;
149 (bi2.abs_value) 0 size_bi2 0);
153 match compare_nat (bi1.abs_value) 0 size_bi1
154 (bi2.abs_value) 0 size_bi2 with
157 abs_value =
158 let res = copy_nat (bi1.abs_value) 0 size_bi1 in
160 (bi2.abs_value) 0 size_bi2 1);
163 abs_value =
164 let res = copy_nat (bi2.abs_value) 0 size_bi2 in
166 (bi1.abs_value) 0 size_bi1 1);
172 abs_value =
190 blit_nat res 0 (bi.abs_value) 0 size_bi;
192 ignore (mult_digit_nat res 0 size_res (bi.abs_value) 0 size_bi
195 abs_value = res }
197 ignore (mult_digit_nat res 0 size_res (bi.abs_value) 0 size_bi
200 abs_value = res }
208 abs_value =
210 then (ignore (mult_nat res 0 size_res (bi2.abs_value) 0 size_bi2
211 (bi1.abs_value) 0 size_bi1);res)
212 else (ignore (mult_nat res 0 size_res (bi1.abs_value) 0 size_bi1
213 (bi2.abs_value) 0 size_bi2);res) }
221 match compare_nat (bi1.abs_value) 0 size_bi1
222 (bi2.abs_value) 0 size_bi2 with
244 blit_nat r 0 (bi1.abs_value) 0 size_bi1;
254 div_nat r 0 size_r (bi2.abs_value) 0 size_bi2;
273 (let new_r = copy_nat (bi2.abs_value) 0 size_bi2 in
276 abs_value = (set_digit_nat q (pred size_q) 0;
279 abs_value =
287 abs_value = q },
289 abs_value = copy_nat r 0 size_bi2 })
297 if is_zero_nat (bi1.abs_value) 0 size_bi1 then abs_big_int bi2
298 else if is_zero_nat (bi2.abs_value) 0 size_bi2 then
300 abs_value = bi1.abs_value }
303 abs_value =
304 match compare_nat (bi1.abs_value) 0 size_bi1
305 (bi2.abs_value) 0 size_bi2 with
306 0 -> bi1.abs_value
308 let res = copy_nat (bi1.abs_value) 0 size_bi1 in
310 gcd_nat res 0 size_bi1 (bi2.abs_value) 0 size_bi2 in
313 let res = copy_nat (bi2.abs_value) 0 size_bi2 in
315 gcd_nat res 0 size_bi2 (bi1.abs_value) 0 size_bi1 in
323 let monster_nat = monster_big_int.abs_value;;
327 match compare_nat bi.abs_value 0 1 monster_nat 0 1 with
333 try let n = int_of_nat bi.abs_value in
348 { sign = 1; abs_value = res }
352 { sign = -1; abs_value = res }
357 let i = nth_digit_nat_native bi.abs_value 0 in
390 { sign = sg; abs_value = res }
400 (Int64.of_nativeint (nth_digit_nat_native bi.abs_value 0))
404 (Int64.of_nativeint (nth_digit_nat_native bi.abs_value 0))
407 (Int64.of_nativeint (nth_digit_nat_native bi.abs_value 1))
425 else copy_nat (bi.abs_value) 0 (num_digits_big_int bi)
430 abs_value = copy_nat nat off length }
439 then "-" ^ string_of_nat bi.abs_value
440 else string_of_nat bi.abs_value
447 else {sign = sgn; abs_value = n}
524 abs_value = nat}
535 blit_nat res 0 bi.abs_value 0 bi_len;
544 ignore(mult_nat res 0 lenp res2 0 len2 (bi.abs_value) 0 bi_len)
551 abs_value = res}
558 (abs i) (bi.abs_value) 0 (num_digits_big_int bi) in
561 else if is_digit_odd (bi.abs_value) 0
564 abs_value = nat }
596 compare_digits_nat (bi.abs_value) len_bi nat len_nat = -1
600 blit_nat copy 0 (bi.abs_value) 0 len_bi;
607 abs_value = copy_nat copy len_nat 1 }
616 (bi.abs_value) 0 len_bi
620 (bi.abs_value) 0 len_bi)
633 abs_value = sqrt_nat (bi.abs_value) 0 (num_digits_big_int bi)}
640 ignore (square_nat res 0 len_res (bi.abs_value) 0 len_bi);
641 {sign = 1; abs_value = res}
705 blit_nat res ndigits bi.abs_value 0 size_bi;
709 { sign = bi.sign; abs_value = res }
725 blit_nat res 0 bi.abs_value ndigits size_res;
732 else { sign = bi.sign; abs_value = res }
748 { sign = 1; abs_value = res }
773 blit_nat res 0 bi.abs_value ndigits (min size_res (size_bi - ndigits));
782 (is_digit_zero bi.abs_value i && carry_incr (i + 1)) in
798 else { sign = 1; abs_value = res }
811 blit_nat res 0 a.abs_value 0 size_res;
813 land_digit_nat res i b.abs_value i
817 else { sign = 1; abs_value = res }
830 blit_nat res 0 a'.abs_value 0 size_res;
832 lor_digit_nat res i b'.abs_value i
839 else { sign = 1; abs_value = res }
852 blit_nat res 0 a'.abs_value 0 size_res;
854 lxor_digit_nat res i b'.abs_value i
861 else { sign = 1; abs_value = res }