1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
<html>
<head><title>EXPT.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>EXPT</h2>exponential function
<pre>Major Section: <a href="PROGRAMMING.html">PROGRAMMING</a>
</pre><p>
<code>(Expt r i)</code> is the result of raising the number <code>r</code> to the
integer power <code>i</code>.
<p>
The <a href="GUARD.html">guard</a> for <code>(expt r i)</code> is that <code>r</code> is a number and <code>i</code>
is an integer, and furthermore, if <code>r</code> is <code>0</code> then <code>i</code> is
nonnegative. When the type requirements of the <a href="GUARD.html">guard</a> aren't
met, <code>(expt r i)</code> first coerces <code>r</code> to a number and <code>i</code> to an
integer.<p>
<code>Expt</code> is a Common Lisp function. See any Common Lisp
documentation for more information. Note that <code>r</code> can be a complex
number; this is consistent with Common lisp.
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>
</body>
</html>
|
