Real constants and functions: Difference between revisions

Added 11l
(Added 11l)
Line 19:
*   [[Trigonometric Functions]]
<br><br>
 
=={{header|11l}}==
{{trans|Python}}
 
<lang 11l>math:e // e
math:pi // pi
sqrt(x) // square root
log(x) // natural logarithm
log10(x) // base 10 logarithm
exp(x) // e raised to the power of x
abs(x) // absolute value
floor(x) // floor
ceil(x) // ceiling
x ^ y // exponentiation</lang>
 
=={{header|ACL2}}==
1,481

edits