Major Section: ACL2-BUILT-INS
(Expt r i) is the result of raising the number r to the
integer power i.
The guard for (expt r i) is that r is a number and i
is an integer, and furthermore, if r is 0 then i is
nonnegative. When the type requirements of the guard aren't
met, (expt r i) first coerces r to a number and i to an
integer.
Expt is a Common Lisp function. See any Common Lisp
documentation for more information. Note that r can be a complex
number; this is consistent with Common lisp.
To see the ACL2 definition of this function, see pf.
