From 163a82655b1b3649c9bff4db05f487db3a992a40 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 8 Nov 2017 17:01:04 +0100 Subject: Update functions --- evaluator.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'evaluator.ml') 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; -- cgit v1.2.3