asin, acos, atan, atan2 added

2 files changed, 20 insertions, 0 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 7842775b..55925df5 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -135,6 +135,22 @@ function log(n){
 function exp(n){
     return Math.exp(n);
 }
+
+function asin(n){
+    return Math.asin(n);
+}
+function acos(n){
+    return Math.acos(n);
+}
+
+function atan(n){
+    return Math.atan(n);
+}
+
+function atan2(n, m){
+    return Math.atan2(n, m);
+}
+
 // 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 45a17eb1..c1ee28b3 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -160,6 +160,10 @@ val sin : float -> float
 val cos : float -> float
 val log : float -> float
 val exp : float -> float
+val asin : float -> float
+val acos : float -> float
+val atan : float -> float
+val atan2 : float -> float -> float
 
 (** * Time *)