Lines Matching defs:r

15 let r = create_ratio (big_int_of_int 1) (big_int_of_int (-2)) in  var
20 let r = create_ratio (big_int_of_int 2) (big_int_of_int 3) in var
28 let r = create_ratio (big_int_of_int 12) (big_int_of_int (-16)) in var
36 let r = create_ratio (big_int_of_int 0) (big_int_of_int 0) in var
44 let r = create_normalized_ratio (big_int_of_int 1) (big_int_of_int (-2)) in var
49 let r = create_normalized_ratio (big_int_of_int 2) (big_int_of_int 3) in var
57 let r = create_normalized_ratio (big_int_of_int 12) (big_int_of_int (-16)) in var
65 let r = create_normalized_ratio (big_int_of_int 1) (big_int_of_int 0) in var
70 let r = create_normalized_ratio (big_int_of_int 0) (big_int_of_int 0) in var
116 let r = create_ratio (big_int_of_int 12) (big_int_of_int (-16)) in var
122 let r = create_ratio (big_int_of_int (-1)) zero_big_int in var
159 let r = add_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 2)) var
165 let r = add_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3)) var
171 let r = add_ratio (create_ratio (big_int_of_int 2) zero_big_int) var
177 let r = add_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3)) var
183 let r = add_ratio (create_ratio (big_int_of_int 2) zero_big_int) var
189 let r = add_ratio (create_ratio (big_int_of_string "12724951") var
226 let r = sub_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3)) var
232 let r = sub_ratio (create_ratio (big_int_of_int 2) zero_big_int) var
238 let r = sub_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3)) var
244 let r = sub_ratio (create_ratio (big_int_of_int 2) zero_big_int) var
253 let r = mult_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3)) var
259 let r = mult_ratio (create_ratio (big_int_of_int 2) zero_big_int) var
265 let r = mult_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3)) var
271 let r = mult_ratio (create_ratio (big_int_of_int 2) zero_big_int) var
280 let r = div_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3)) var
286 let r = div_ratio (create_ratio (big_int_of_int 2) zero_big_int) var
292 let r = div_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3)) var
298 let r = div_ratio (create_ratio (big_int_of_int 2) zero_big_int) var