From ae4778d7a3f4dacde39232b503bd134ce71444ee Mon Sep 17 00:00:00 2001
From: Karen Sargsyan <karsar@ibms.sinica.edu.tw>
Date: Mon, 23 May 2016 17:40:19 +0800
Subject: abs and floor added

---
 lib/js/urweb.js  | 8 ++++++++
 lib/ur/basis.urs | 2 ++
 2 files changed, 10 insertions(+)

(limited to 'lib')

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 55925df5..96a12637 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -151,6 +151,14 @@ function atan2(n, m){
     return Math.atan2(n, m);
 }
 
+function floor(n){
+    return Math.floor(n);
+}
+
+function abs(n){
+    return Math.abs(n);
+}
+
 // Time, represented as counts of microseconds since the epoch
 
 var time_format = "%c";
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index c1ee28b3..1163daed 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -152,6 +152,7 @@ val float : int -> float
 val ceil : float -> int
 val trunc : float -> int
 val round : float -> int
+val floor : float -> int
 
 (** * Basic Math *)
 
@@ -164,6 +165,7 @@ val asin : float -> float
 val acos : float -> float
 val atan : float -> float
 val atan2 : float -> float -> float
+val abs: float -> float
 
 (** * Time *)
 
-- 
cgit v1.2.3