diff options
author | Karen Sargsyan <karsar@ibms.sinica.edu.tw> | 2016-05-21 18:00:59 +0800 |
---|---|---|
committer | Karen Sargsyan <karsar@ibms.sinica.edu.tw> | 2016-05-21 18:00:59 +0800 |
commit | 22527df1714c83e968913dabba4ba3ec81adc20c (patch) | |
tree | 9dafbbb36b0d25200b70a92e1aca8f6f0ae2f583 /lib/ur | |
parent | 02724f709fcafa9f4e854c271df6c2f79fd9cfa6 (diff) |
Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work at client and server sides
Diffstat (limited to 'lib/ur')
-rw-r--r-- | lib/ur/basis.urs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 883cc5b1..45a17eb1 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -153,6 +153,13 @@ val ceil : float -> int val trunc : float -> int val round : float -> int +(** * Basic Math *) + +val sqrt : float -> float +val sin : float -> float +val cos : float -> float +val log : float -> float +val exp : float -> float (** * Time *) |