Package org.apache.commons.math3.util
Class ArithmeticUtils
java.lang.Object
org.apache.commons.math3.util.ArithmeticUtils
Some useful, arithmetics related, additions to the built-in functions in
Math
.-
Method Summary
Modifier and TypeMethodDescriptionstatic int
addAndCheck
(int x, int y) Add two integers, checking for overflow.static long
addAndCheck
(long a, long b) Add two long integers, checking for overflow.static long
binomialCoefficient
(int n, int k) Deprecated.static double
binomialCoefficientDouble
(int n, int k) Deprecated.static double
binomialCoefficientLog
(int n, int k) Deprecated.static long
factorial
(int n) Deprecated.static double
factorialDouble
(int n) Deprecated.static double
factorialLog
(int n) Deprecated.static int
gcd
(int p, int q) Computes the greatest common divisor of the absolute value of two numbers, using a modified version of the "binary gcd" method.static long
gcd
(long p, long q) Gets the greatest common divisor of the absolute value of two numbers, using the "binary gcd" method which avoids division and modulo operations.static boolean
isPowerOfTwo
(long n) Returns true if the argument is a power of two.static int
lcm
(int a, int b) Returns the least common multiple of the absolute value of two numbers, using the formulalcm(a,b) = (a / gcd(a,b)) * b
.static long
lcm
(long a, long b) Returns the least common multiple of the absolute value of two numbers, using the formulalcm(a,b) = (a / gcd(a,b)) * b
.static int
mulAndCheck
(int x, int y) Multiply two integers, checking for overflow.static long
mulAndCheck
(long a, long b) Multiply two long integers, checking for overflow.static int
pow
(int k, int e) Raise an int to an int power.static int
pow
(int k, long e) Deprecated.As of 3.3.static long
pow
(long k, int e) Raise a long to an int power.static long
pow
(long k, long e) Deprecated.As of 3.3.static BigInteger
pow
(BigInteger k, int e) Raise a BigInteger to an int power.static BigInteger
pow
(BigInteger k, long e) Raise a BigInteger to a long power.static BigInteger
pow
(BigInteger k, BigInteger e) Raise a BigInteger to a BigInteger power.static long
stirlingS2
(int n, int k) Deprecated.static int
subAndCheck
(int x, int y) Subtract two integers, checking for overflow.static long
subAndCheck
(long a, long b) Subtract two long integers, checking for overflow.
-
Method Details
-
addAndCheck
Add two integers, checking for overflow.- Parameters:
x
- an addendy
- an addend- Returns:
- the sum
x+y
- Throws:
MathArithmeticException
- if the result can not be represented as anint
.- Since:
- 1.1
-
addAndCheck
Add two long integers, checking for overflow.- Parameters:
a
- an addendb
- an addend- Returns:
- the sum
a+b
- Throws:
MathArithmeticException
- if the result can not be represented as an long- Since:
- 1.2
-
binomialCoefficient
@Deprecated public static long binomialCoefficient(int n, int k) throws NotPositiveException, NumberIsTooLargeException, MathArithmeticException Deprecated.Returns an exact representation of the Binomial Coefficient, "n choose k
", the number ofk
-element subsets that can be selected from ann
-element set.Preconditions:
-
0 <= k <= n
(otherwiseIllegalArgumentException
is thrown) - The result is small enough to fit into a
long
. The largest value ofn
for which all coefficients are< Long.MAX_VALUE
is 66. If the computed value exceedsLong.MAX_VALUE
anArithMeticException
is thrown.
- Parameters:
n
- the size of the setk
- the size of the subsets to be counted- Returns:
n choose k
- Throws:
NotPositiveException
- ifn < 0
.NumberIsTooLargeException
- ifk > n
.MathArithmeticException
- if the result is too large to be represented by a long integer.
-
-
binomialCoefficientDouble
@Deprecated public static double binomialCoefficientDouble(int n, int k) throws NotPositiveException, NumberIsTooLargeException, MathArithmeticException Deprecated.Returns adouble
representation of the Binomial Coefficient, "n choose k
", the number ofk
-element subsets that can be selected from ann
-element set.Preconditions:
-
0 <= k <= n
(otherwiseIllegalArgumentException
is thrown) - The result is small enough to fit into a
double
. The largest value ofn
for which all coefficients are invalid input: '<' Double.MAX_VALUE is 1029. If the computed value exceeds Double.MAX_VALUE, Double.POSITIVE_INFINITY is returned
- Parameters:
n
- the size of the setk
- the size of the subsets to be counted- Returns:
n choose k
- Throws:
NotPositiveException
- ifn < 0
.NumberIsTooLargeException
- ifk > n
.MathArithmeticException
- if the result is too large to be represented by a long integer.
-
-
binomialCoefficientLog
@Deprecated public static double binomialCoefficientLog(int n, int k) throws NotPositiveException, NumberIsTooLargeException, MathArithmeticException Deprecated.Returns the naturallog
of the Binomial Coefficient, "n choose k
", the number ofk
-element subsets that can be selected from ann
-element set.Preconditions:
-
0 <= k <= n
(otherwiseIllegalArgumentException
is thrown)
- Parameters:
n
- the size of the setk
- the size of the subsets to be counted- Returns:
n choose k
- Throws:
NotPositiveException
- ifn < 0
.NumberIsTooLargeException
- ifk > n
.MathArithmeticException
- if the result is too large to be represented by a long integer.
-
-
factorial
@Deprecated public static long factorial(int n) throws NotPositiveException, MathArithmeticException Deprecated.Returns n!. Shorthand forn
Factorial, the product of the numbers1,...,n
.Preconditions:
-
n >= 0
(otherwiseIllegalArgumentException
is thrown) - The result is small enough to fit into a
long
. The largest value ofn
for whichn!
invalid input: '<' Long.MAX_VALUE} is 20. If the computed value exceedsLong.MAX_VALUE
anArithMeticException
is thrown.
- Parameters:
n
- argument- Returns:
n!
- Throws:
MathArithmeticException
- if the result is too large to be represented by along
.NotPositiveException
- ifn < 0
.MathArithmeticException
- ifn > 20
: The factorial value is too large to fit in along
.
-
-
factorialDouble
Deprecated.Compute n!, the factorial ofn
(the product of the numbers 1 to n), as adouble
. The result should be small enough to fit into adouble
: The largestn
for whichn! < Double.MAX_VALUE
is 170. If the computed value exceedsDouble.MAX_VALUE
,Double.POSITIVE_INFINITY
is returned.- Parameters:
n
- Argument.- Returns:
n!
- Throws:
NotPositiveException
- ifn < 0
.
-
factorialLog
Deprecated.Compute the natural logarithm of the factorial ofn
.- Parameters:
n
- Argument.- Returns:
n!
- Throws:
NotPositiveException
- ifn < 0
.
-
gcd
Computes the greatest common divisor of the absolute value of two numbers, using a modified version of the "binary gcd" method. See Knuth 4.5.2 algorithm B. The algorithm is due to Josef Stein (1961).
Special cases:- The invocations
gcd(Integer.MIN_VALUE, Integer.MIN_VALUE)
,gcd(Integer.MIN_VALUE, 0)
andgcd(0, Integer.MIN_VALUE)
throw anArithmeticException
, because the result would be 2^31, which is too large for an int value. - The result of
gcd(x, x)
,gcd(0, x)
andgcd(x, 0)
is the absolute value ofx
, except for the special cases above. - The invocation
gcd(0, 0)
is the only one which returns0
.
- Parameters:
p
- Number.q
- Number.- Returns:
- the greatest common divisor (never negative).
- Throws:
MathArithmeticException
- if the result cannot be represented as a non-negativeint
value.- Since:
- 1.1
- The invocations
-
gcd
Gets the greatest common divisor of the absolute value of two numbers, using the "binary gcd" method which avoids division and modulo operations. See Knuth 4.5.2 algorithm B. This algorithm is due to Josef Stein (1961).
Special cases:- The invocations
gcd(Long.MIN_VALUE, Long.MIN_VALUE)
,gcd(Long.MIN_VALUE, 0L)
andgcd(0L, Long.MIN_VALUE)
throw anArithmeticException
, because the result would be 2^63, which is too large for a long value. - The result of
gcd(x, x)
,gcd(0L, x)
andgcd(x, 0L)
is the absolute value ofx
, except for the special cases above. - The invocation
gcd(0L, 0L)
is the only one which returns0L
.
- Parameters:
p
- Number.q
- Number.- Returns:
- the greatest common divisor, never negative.
- Throws:
MathArithmeticException
- if the result cannot be represented as a non-negativelong
value.- Since:
- 2.1
- The invocations
-
lcm
Returns the least common multiple of the absolute value of two numbers, using the formula
Special cases:lcm(a,b) = (a / gcd(a,b)) * b
.- The invocations
lcm(Integer.MIN_VALUE, n)
andlcm(n, Integer.MIN_VALUE)
, whereabs(n)
is a power of 2, throw anArithmeticException
, because the result would be 2^31, which is too large for an int value. - The result of
lcm(0, x)
andlcm(x, 0)
is0
for anyx
.
- Parameters:
a
- Number.b
- Number.- Returns:
- the least common multiple, never negative.
- Throws:
MathArithmeticException
- if the result cannot be represented as a non-negativeint
value.- Since:
- 1.1
- The invocations
-
lcm
Returns the least common multiple of the absolute value of two numbers, using the formula
Special cases:lcm(a,b) = (a / gcd(a,b)) * b
.- The invocations
lcm(Long.MIN_VALUE, n)
andlcm(n, Long.MIN_VALUE)
, whereabs(n)
is a power of 2, throw anArithmeticException
, because the result would be 2^63, which is too large for an int value. - The result of
lcm(0L, x)
andlcm(x, 0L)
is0L
for anyx
.
- Parameters:
a
- Number.b
- Number.- Returns:
- the least common multiple, never negative.
- Throws:
MathArithmeticException
- if the result cannot be represented as a non-negativelong
value.- Since:
- 2.1
- The invocations
-
mulAndCheck
Multiply two integers, checking for overflow.- Parameters:
x
- Factor.y
- Factor.- Returns:
- the product
x * y
. - Throws:
MathArithmeticException
- if the result can not be represented as anint
.- Since:
- 1.1
-
mulAndCheck
Multiply two long integers, checking for overflow.- Parameters:
a
- Factor.b
- Factor.- Returns:
- the product
a * b
. - Throws:
MathArithmeticException
- if the result can not be represented as along
.- Since:
- 1.2
-
subAndCheck
Subtract two integers, checking for overflow.- Parameters:
x
- Minuend.y
- Subtrahend.- Returns:
- the difference
x - y
. - Throws:
MathArithmeticException
- if the result can not be represented as anint
.- Since:
- 1.1
-
subAndCheck
Subtract two long integers, checking for overflow.- Parameters:
a
- Value.b
- Value.- Returns:
- the difference
a - b
. - Throws:
MathArithmeticException
- if the result can not be represented as along
.- Since:
- 1.2
-
pow
Raise an int to an int power.- Parameters:
k
- Number to raise.e
- Exponent (must be positive or zero).- Returns:
- \( k^e \)
- Throws:
NotPositiveException
- ife < 0
.MathArithmeticException
- if the result would overflow.
-
pow
Deprecated.As of 3.3. Please usepow(int,int)
instead.Raise an int to a long power.- Parameters:
k
- Number to raise.e
- Exponent (must be positive or zero).- Returns:
- ke
- Throws:
NotPositiveException
- ife < 0
.
-
pow
Raise a long to an int power.- Parameters:
k
- Number to raise.e
- Exponent (must be positive or zero).- Returns:
- \( k^e \)
- Throws:
NotPositiveException
- ife < 0
.MathArithmeticException
- if the result would overflow.
-
pow
Deprecated.As of 3.3. Please usepow(long,int)
instead.Raise a long to a long power.- Parameters:
k
- Number to raise.e
- Exponent (must be positive or zero).- Returns:
- ke
- Throws:
NotPositiveException
- ife < 0
.
-
pow
Raise a BigInteger to an int power.- Parameters:
k
- Number to raise.e
- Exponent (must be positive or zero).- Returns:
- ke
- Throws:
NotPositiveException
- ife < 0
.
-
pow
Raise a BigInteger to a long power.- Parameters:
k
- Number to raise.e
- Exponent (must be positive or zero).- Returns:
- ke
- Throws:
NotPositiveException
- ife < 0
.
-
pow
Raise a BigInteger to a BigInteger power.- Parameters:
k
- Number to raise.e
- Exponent (must be positive or zero).- Returns:
- ke
- Throws:
NotPositiveException
- ife < 0
.
-
stirlingS2
@Deprecated public static long stirlingS2(int n, int k) throws NotPositiveException, NumberIsTooLargeException, MathArithmeticException Deprecated.Returns the Stirling number of the second kind, "S(n,k)
", the number of ways of partitioning ann
-element set intok
non-empty subsets.The preconditions are
0 <= k <= n
(otherwiseNotPositiveException
is thrown)- Parameters:
n
- the size of the setk
- the number of non-empty subsets- Returns:
S(n,k)
- Throws:
NotPositiveException
- ifk < 0
.NumberIsTooLargeException
- ifk > n
.MathArithmeticException
- if some overflow happens, typically for n exceeding 25 and k between 20 and n-2 (S(n,n-1) is handled specifically and does not overflow)- Since:
- 3.1
-
isPowerOfTwo
public static boolean isPowerOfTwo(long n) Returns true if the argument is a power of two.- Parameters:
n
- the number to test- Returns:
- true if the argument is a power of two
-
CombinatoricsUtils.binomialCoefficient(int, int)