diff options
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;
|