0**y is 1 if y is 1, and 0 otherwise (previously: 0**y is undefined)
authorSimon Marlow <marlowsd@gmail.com>
Wed, 14 Jul 2010 10:05:44 +0000 (10:05 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 14 Jul 2010 10:05:44 +0000 (10:05 +0000)
report/basic.verb

index 742fb05..2d01cd5 100644 (file)
@@ -939,7 +939,8 @@ number to a nonnegative integer power,
 fractional number to any integer power, and @(**)@
 \indextt{**}
 takes two floating-point arguments.  The value of "x"@^0@ or "x"@^^0@
-is @1@ for any "x", including zero; @0**@"y" is undefined.
+is @1@ for any "x", including zero; @0**@"y" is @1@ if "y" is @1@, and
+@0@ otherwise.
   
 \subsubsection{Magnitude and Sign}
 \label{magnitude-sign}