THE PACKAGE JAVA.LANG

java.lang.Math

20.11

If the first argument is positive zero and the second argument is less than zero,

or the first argument is positive infinity and the second argument is greater

than zero, then the result is positive infinity.

If the first argument is negative zero and the second argument is greater than

zero but not a finite odd integer, or the first argument is negative infinity and

the second argument is less than zero but not a finite odd integer, then the

result is positive zero.

If the first argument is negative zero and the second argument is a positive

finite odd integer, or the first argument is negative infinity and the second

argument is a negative finite odd integer, then the result is negative zero.

If the first argument is negative zero and the second argument is less than zero

but not a finite odd integer, or the first argument is negative infinity and the

second argument is greater than zero but not a finite odd integer, then the

result is positive infinity.

If the first argument is negative zero and the second argument is a negative

finite odd integer, or the first argument is negative infinity and the second

argument is a positive finite odd integer, then the result is negative infinity.

If the first argument is less than zero and the second argument is a finite even

integer, then the result is equal to the result of raising the absolute value of the

first argument to the power of the second argument.

If the first argument is less than zero and the second argument is a finite odd

integer, then the result is equal to the negative of the result of raising the abso 

lute value of the first argument to the power of the second argument.

If the first argument is finite and less than zero and the second argument is

finite and not an integer, then the result is NaN.

If both arguments are integers, then the result is exactly equal to the mathe 

matical result of raising the first argument to the power of the second argu 

ment if that result can in fact be represented exactly as a

double

 value.

(In the foregoing descriptions, a floating point value is considered to be an integer

if and only if it is a fixed point of the method

ceil

 ( 20.11.15) or, which is the

same thing, a fixed point of the method

floor

 ( 20.11.16). A value is a fixed

point of a one argument method if and only if the result of applying the method to

the value is equal to the value.)

523