Revision d948c0bd
Added by Pierre-Loïc Garoche over 6 years ago
| src/plugins/mpfr/mpfr.ml | ||
|---|---|---|
| 97 | 97 |
| ">" -> "MPFRGt" |
| 98 | 98 |
| "=" -> "MPFREq" |
| 99 | 99 |
| "!=" -> "MPFRNeq" |
| 100 |
(* Math library functions *) |
|
| 101 |
| "acos" -> "MPFRacos" |
|
| 102 |
| "acosh" -> "MPFRacosh" |
|
| 103 |
| "asin" -> "MPFRasin" |
|
| 104 |
| "asinh" -> "MPFRasinh" |
|
| 105 |
| "atan" -> "MPFRatan" |
|
| 106 |
| "atan2" -> "MPFRatan2" |
|
| 107 |
| "atanh" -> "MPFRatanh" |
|
| 108 |
| "cbrt" -> "MPFRcbrt" |
|
| 109 |
| "cos" -> "MPFRcos" |
|
| 110 |
| "cosh" -> "MPFRcosh" |
|
| 111 |
| "ceil" -> "MPFRceil" |
|
| 112 |
| "erf" -> "MPFRerf" |
|
| 113 |
| "exp" -> "MPFRexp" |
|
| 114 |
| "fabs" -> "MPFRfabs" |
|
| 115 |
| "floor" -> "MPFRfloor" |
|
| 116 |
| "fmod" -> "MPFRfmod" |
|
| 117 |
| "log" -> "MPFRlog" |
|
| 118 |
| "log10" -> "MPFRlog10" |
|
| 119 |
| "pow" -> "MPFRpow" |
|
| 120 |
| "round" -> "MPFRround" |
|
| 121 |
| "sin" -> "MPFRsin" |
|
| 122 |
| "sinh" -> "MPFRsinh" |
|
| 123 |
| "sqrt" -> "MPFRsqrt" |
|
| 124 |
| "trunc" -> "MPFRtrunc" |
|
| 125 |
| "tan" -> "MPFRtan" |
|
| 126 |
|
|
| 127 |
|
|
| 128 |
| "pow" -> "MPFRpow" |
|
| 100 | 129 |
| _ -> raise Not_found |
| 101 | 130 |
|
| 102 | 131 |
let inject_op id = |
| 132 |
Format.eprintf "trying to inject mpfr into function %s@." id; |
|
| 103 | 133 |
try |
| 104 | 134 |
base_inject_op id |
| 105 | 135 |
with Not_found -> id |
Also available in: Unified diff
math fun lib support in MPFR