blob: 274cef905846f35675d51bf99ffa890bd3c624e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
|
num_digits_nat
-1... 0... 1...
length_nat
1...
equal_nat
1... 2... 3... 4...
incr_nat
1... 2... 3... 4...
decr_nat
1... 2... 3... 4...
is_zero_nat
1... 2... 3... 4...
string_of_nat
1... 2...
string_of_nat && nat_of_string
1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20... 21... 22...
gcd_nat
1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20...
sqrt_nat
1... 2... 3... 4... 5...
compare_big_int
1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13...
pred_big_int
1... 2... 3...
succ_big_int
1... 2... 3...
add_big_int
1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17...
sub_big_int
1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17...
mult_int_big_int
1... 2... 3... 4...
mult_big_int
1... 2... 3... 4... 5...
quomod_big_int
1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20... 21... 22... 23... 24... 25...
gcd_big_int
1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20... 21... 22... 23... 24... 25... 26... 27... 28...
int_of_big_int
1... 2... 3... 4... 5... 6... 7... 8...
is_int_big_int
1... 2... 3... 4... 5... 6... 7... 8... 9... 10...
sys_string_of_big_int
1...
big_int_of_string
1... 2... 4... 5... 6... 7... 9... 10...
power_base_int
1... 2... 3...
base_power_big_int
1... 2... 3...
power_int_positive_big_int
1... 2... 3... 4... 5... 6... 7...
power_big_int_positive_int
1... 2... 3... 4... 5...
power_big_int_positive_big_int
1... 2... 3... 4... 5... 6... 7... 8... 9...
square_big_int
1... 2... 3... 4...
big_int_of_nativeint
1... 2... 3...
nativeint_of_big_int
1... 2... 2...
big_int_of_int32
1... 2... 3...
int32_of_big_int
1... 2... 3... 4... 5... 6... 7... 8...
big_int_of_int64
1... 2... 3... 4... 5... 6... 7... 8...
int64_of_big_int
1... 2... 3... 4... 5... 6... 7... 8...
and_big_int
1... 2... 3... 4... 5... 6...
or_big_int
1... 2... 3... 4... 5... 6...
xor_big_int
1... 2... 3... 4... 5... 6...
shift_left_big_int
1... 2... 2... 3... 4... 5... 6...
shift_right_big_int
1... 2... 3... 4... 5...
extract_big_int
1... 2... 3... 4... 5... 6...
create_ratio
1... 2... 3... 4... 5... 6... 7... 8...
create_normalized_ratio
1... 2... 3... 4... 5... 6... 7... 8... 9... 10...
null_denominator
1... 2...
sign_ratio
1... 2... 3...
normalize_ratio
1... 2... 3... 4...
report_sign_ratio
1... 2...
is_integer_ratio
1... 2...
add_ratio
1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 1... 2... 3... 4...
sub_ratio
1... 2... 3... 4... 5... 6... 7... 8...
mult_ratio
1... 2... 3... 4... 5... 6... 7... 8...
div_ratio
1... 2... 3... 4... 5... 6... 7... 8...
integer_ratio
1... 2... 3... 4... 5...
floor_ratio
1... 2... 3... 4... 5...
round_ratio
1... 2... 3... 4... 5...
ceiling_ratio
1... 2... 3... 4... 5... 6...
eq_ratio
1... 2... 3... 4... 5...
compare_ratio
1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20... 21... 22... 23... 24... 25... 26... 27... 28... 29... 30... 31... 32... 33... 34... 35... 36...
eq_big_int_ratio
1... 2... 3... 4... 5...
compare_big_int_ratio
1... 2... 3... 4... 5... 6... 7... 8... 9...
int_of_ratio
1... 2... 3... 4... 5...
ratio_of_int
1... 2...
nat_of_ratio
1... 2... 3... 4...
ratio_of_big_int
1...
big_int_of_ratio
1... 2... 3...
string_of_ratio
1... 2... 3... 4...
ratio_of_string
1... 6... 7... 8...
round_futur_last_digit
1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14... 15... 16... 17... 18... 19... 20... 21... 22... 23... 24...
approx_ratio_fix
1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12... 13... 14...
approx_ratio_exp
1... 2... 3... 4... 5... 6... 7... 8... 9...
add_num
1... 2... 3... 4... 5... 6... 7... 8... 9...
sub_num
1... 2... 3... 4... 5... 7... 8... 9... 10...
mult_num
1... 2... 3... 4... 5... 6... 7... 8... 9...
div_num
1... 2... 3... 4... 5... 6... 7... 8... 9...
is_integer_num
1... 2... 3... 4...
num_of_ratio
1... 2... 3...
num_of_string
1... 7... 8... 11...
output_value/input_value on nats
1... 2... 3... 4... 5... 6... 7...
output_value/input_value on big ints
1... 2... 3... 4... 5...
output_value/input_value on nums
1... 2... 3... 4... 5... 6... 7... 8...
************* TESTS COMPLETED SUCCESSFULLY ****************
|
