2016-09-02 20:32:37 +02:00
|
|
|
package org.nevec.rjm;
|
2016-03-15 10:41:39 +01:00
|
|
|
|
|
|
|
import java.math.BigInteger;
|
|
|
|
import java.util.Vector;
|
|
|
|
|
2016-09-12 16:30:51 +02:00
|
|
|
import org.warp.picalculator.Error;
|
2016-07-12 22:26:54 +02:00
|
|
|
|
2016-09-02 20:32:37 +02:00
|
|
|
/**
|
|
|
|
* Bernoulli numbers.
|
|
|
|
*
|
|
|
|
* @since 2006-06-25
|
|
|
|
* @author Richard J. Mathar
|
|
|
|
*/
|
|
|
|
public class Bernoulli {
|
|
|
|
/*
|
|
|
|
* The list of all Bernoulli numbers as a vector, n=0,2,4,....
|
|
|
|
*/
|
|
|
|
static Vector<Rational> a = new Vector<Rational>();
|
2016-03-15 10:41:39 +01:00
|
|
|
|
2016-09-02 20:32:37 +02:00
|
|
|
public Bernoulli() {
|
|
|
|
if (a.size() == 0) {
|
|
|
|
a.add(Rational.ONE);
|
|
|
|
a.add(new Rational(1, 6));
|
|
|
|
}
|
|
|
|
}
|
2016-03-15 10:41:39 +01:00
|
|
|
|
2016-09-02 20:32:37 +02:00
|
|
|
/**
|
|
|
|
* Set a coefficient in the internal table.
|
|
|
|
*
|
|
|
|
* @param n
|
|
|
|
* the zero-based index of the coefficient. n=0 for the constant
|
|
|
|
* term.
|
|
|
|
* @param value
|
|
|
|
* the new value of the coefficient.
|
|
|
|
*/
|
|
|
|
protected void set(final int n, final Rational value) {
|
|
|
|
final int nindx = n / 2;
|
|
|
|
if (nindx < a.size())
|
|
|
|
a.set(nindx, value);
|
|
|
|
else {
|
|
|
|
while (a.size() < nindx)
|
|
|
|
a.add(Rational.ZERO);
|
|
|
|
a.add(value);
|
|
|
|
}
|
|
|
|
}
|
2016-03-15 10:41:39 +01:00
|
|
|
|
2016-09-02 20:32:37 +02:00
|
|
|
/**
|
|
|
|
* The Bernoulli number at the index provided.
|
|
|
|
*
|
|
|
|
* @param n
|
|
|
|
* the index, non-negative.
|
|
|
|
* @return the B_0=1 for n=0, B_1=-1/2 for n=1, B_2=1/6 for n=2 etc
|
2016-09-12 16:30:51 +02:00
|
|
|
* @throws Error
|
2016-09-02 20:32:37 +02:00
|
|
|
*/
|
2016-09-12 16:30:51 +02:00
|
|
|
public Rational at(int n) throws Error {
|
2016-09-02 20:32:37 +02:00
|
|
|
if (n == 1)
|
|
|
|
return (new Rational(-1, 2));
|
|
|
|
else if (n % 2 != 0)
|
|
|
|
return Rational.ZERO;
|
|
|
|
else {
|
|
|
|
final int nindx = n / 2;
|
|
|
|
if (a.size() <= nindx) {
|
|
|
|
for (int i = 2 * a.size(); i <= n; i += 2)
|
|
|
|
set(i, doubleSum(i));
|
|
|
|
}
|
|
|
|
return a.elementAt(nindx);
|
|
|
|
}
|
|
|
|
}
|
2016-03-15 10:41:39 +01:00
|
|
|
|
2016-09-02 20:32:37 +02:00
|
|
|
/*
|
|
|
|
* Generate a new B_n by a standard double sum.
|
|
|
|
*
|
|
|
|
* @param n The index of the Bernoulli number.
|
|
|
|
*
|
|
|
|
* @return The Bernoulli number at n.
|
|
|
|
*/
|
2016-09-12 16:30:51 +02:00
|
|
|
private Rational doubleSum(int n) throws Error {
|
2016-09-02 20:32:37 +02:00
|
|
|
Rational resul = Rational.ZERO;
|
|
|
|
for (int k = 0; k <= n; k++) {
|
|
|
|
Rational jsum = Rational.ZERO;
|
|
|
|
BigInteger bin = BigInteger.ONE;
|
|
|
|
for (int j = 0; j <= k; j++) {
|
|
|
|
BigInteger jpown = (new BigInteger("" + j)).pow(n);
|
|
|
|
if (j % 2 == 0)
|
|
|
|
jsum = jsum.add(bin.multiply(jpown));
|
|
|
|
else
|
|
|
|
jsum = jsum.subtract(bin.multiply(jpown));
|
2016-03-15 10:41:39 +01:00
|
|
|
|
2016-09-02 20:32:37 +02:00
|
|
|
/*
|
|
|
|
* update binomial(k,j) recursively
|
|
|
|
*/
|
|
|
|
bin = bin.multiply(new BigInteger("" + (k - j))).divide(new BigInteger("" + (j + 1)));
|
|
|
|
}
|
|
|
|
resul = resul.add(jsum.divide(new BigInteger("" + (k + 1))));
|
|
|
|
}
|
|
|
|
return resul;
|
|
|
|
}
|
2016-03-15 10:41:39 +01:00
|
|
|
|
|
|
|
} /* Bernoulli */
|