diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-08 17:01:04 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-08 17:01:04 +0100 |
| commit | 163a82655b1b3649c9bff4db05f487db3a992a40 (patch) | |
| tree | b7308ea89caef819825683551b6ceb9fc6c72369 /evaluator.ml | |
| parent | 5eb60432c81bd13f26852a4cef9b1a570002883d (diff) | |
Update functions
Diffstat (limited to 'evaluator.ml')
| -rwxr-xr-x | evaluator.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/evaluator.ml b/evaluator.ml index 64d260e..0681183 100755 --- a/evaluator.ml +++ b/evaluator.ml @@ -330,11 +330,13 @@ let () = begin fold "sum" t_int f_number D.Num.add (D.Num.zero);
fold "product" t_int f_number D.Num.mult (D.Num.one);
+ register2 "^" (t_int, t_int) f_number D.Num.pow;
+ register2 "power" (t_int, t_int) f_number D.Num.pow;
+
register2 "gcd"(t_int, t_int) f_number D.Num.gcd;
register2 "lcm"(t_int, t_int) f_number D.Num.lcm;
register1 "+" t_int f_num (fun x -> x);
register1 "-" t_int f_num D.Num.neg; (* Unary negation *)
- register2 "^" (t_int, t_int) f_number D.Num.pow;
register2 "+" (t_int, t_int) f_num D.Num.add;
register2 "-" (t_int, t_int) f_num D.Num.sub;
register2 "*" (t_int, t_int) f_number D.Num.mult;
|