Commit e27f8484 authored by Simon Marlow's avatar Simon Marlow
Browse files

0**y is 1 if y is 1, and 0 otherwise (previously: 0**y is undefined)

parent 0079dc24
......@@ -939,7 +939,8 @@ number to a nonnegative integer power,
fractional number to any integer power, and @(**)@
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}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment