diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2016-05-24 11:41:11 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@csail.mit.edu> | 2016-05-24 11:41:11 -0400 |
commit | f4c8df8e16524cf9ab7a9ab6ff6824ef5055b21c (patch) | |
tree | 7c7b838d73689bd6180ba532accde984c7e2d420 /lib/ur/basis.urs | |
parent | 02724f709fcafa9f4e854c271df6c2f79fd9cfa6 (diff) | |
parent | ae4778d7a3f4dacde39232b503bd134ce71444ee (diff) |
Merge pull request #26 from karsar/math_update
Some basic math functions: pow, sqrt, sin, cos, log, exp
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r-- | lib/ur/basis.urs | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 883cc5b1..1163daed 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -152,7 +152,20 @@ val float : int -> float val ceil : float -> int val trunc : float -> int val round : float -> int - +val floor : float -> int + +(** * Basic Math *) + +val sqrt : float -> float +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 +val abs: float -> float (** * Time *) |