JML

java.math
Class BigInteger

java.lang.Object
  extended byjava.lang.Number
      extended byjava.math.BigInteger
All Implemented Interfaces:
Comparable, Serializable

public class BigInteger
extends Number
implements Comparable


Field Summary
private  int bitCount
           
private  int bitLength
           
private static long[] bitsPerDigit
           
(package private) static int[] bnExpModThreshTable
           
private static int DEFAULT_PRIME_CERTAINTY
           
private static int[] digitsPerInt
           
private static int[] digitsPerLong
           
private  int firstNonzeroByteNum
           
private  int firstNonzeroIntNum
           
private static int[] intRadix
           
private static long LONG_MASK
           
private static BigInteger[] longRadix
           
private  int lowestSetBit
           
(package private)  int[] mag
           
private static int MAX_CONSTANT
           
private static BigInteger[] negConst
           
static BigInteger ONE
           
private static BigInteger[] posConst
           
private static ObjectStreamField[] serialPersistentFields
           
private static long serialVersionUID
           
(package private)  int signum
           
private static BigInteger SMALL_PRIME_PRODUCT
           
private static int SMALL_PRIME_THRESHOLD
           
private static Random staticRandom
           
static BigInteger TEN
           
(package private) static byte[] trailingZeroTable
           
private static BigInteger TWO
           
static BigInteger ZERO
           
private static String[] zeros
           
 
Constructor Summary
  BigInteger(byte[])
           
private BigInteger(byte[], int)
           
(package private) BigInteger(char[])
           
  BigInteger(int, byte[])
           
  BigInteger(int, int, Random)
           
private BigInteger(int, int[])
           
  BigInteger(int, Random)
           
private BigInteger(int[])
           
private BigInteger(int[], int)
           
  BigInteger(String)
           
  BigInteger(String, int)
           
(package private) BigInteger(MutableBigInteger, int)
           
private BigInteger(long)
           
 
Method Summary
 BigInteger abs()
           
private static int[] add(int[], int[])
           
 BigInteger add(BigInteger)
           
(package private) static int addOne(int[], int, int, int)
           
 BigInteger and(BigInteger)
           
 BigInteger andNot(BigInteger)
           
(package private) static int bitCnt(int)
           
 int bitCount()
           
(package private) static int bitLen(int)
           
 int bitLength()
           
private static int bitLength(int[], int)
           
 BigInteger clearBit(int)
           
 int compareTo(Object)
           
 int compareTo(BigInteger)
           
private static void destructiveMulAdd(int[], int, int)
           
 BigInteger divide(BigInteger)
           
 BigInteger[] divideAndRemainder(BigInteger)
           
 double doubleValue()
           
 boolean equals(Object)
           
private  int firstNonzeroIntNum()
           
 BigInteger flipBit(int)
           
 float floatValue()
           
 BigInteger gcd(BigInteger)
           
private  int getInt(int)
           
 int getLowestSetBit()
           
private static Random getSecureRandom()
           
 int hashCode()
           
private static int intArrayCmp(int[], int[])
           
private static int intArrayCmpToLen(int[], int[], int)
           
private  int intLength()
           
 int intValue()
           
 boolean isProbablePrime(int)
           
private static int jacobiSymbol(int, BigInteger)
           
(package private)  int[] javaIncrement(int[])
           
private static BigInteger largePrime(int, int, Random)
           
private static int[] leftShift(int[], int, int)
           
 long longValue()
           
private static BigInteger lucasLehmerSequence(int, BigInteger, BigInteger)
           
private  byte[] magSerializedForm()
           
private static int[] makePositive(byte[])
           
private static int[] makePositive(int[])
           
 BigInteger max(BigInteger)
           
 BigInteger min(BigInteger)
           
 BigInteger mod(BigInteger)
           
private  BigInteger mod2(int)
           
 BigInteger modInverse(BigInteger)
           
 BigInteger modPow(BigInteger, BigInteger)
           
private  BigInteger modPow2(BigInteger, int)
           
private static int[] montReduce(int[], int[], int, int)
           
(package private) static int mulAdd(int[], int[], int, int, int)
           
 BigInteger multiply(BigInteger)
           
private  int[] multiplyToLen(int[], int, int[], int, int[])
           
 BigInteger negate()
           
 BigInteger nextProbablePrime()
           
 BigInteger not()
           
private  BigInteger oddModPow(BigInteger, BigInteger)
           
 BigInteger or(BigInteger)
           
private  int parseInt(char[], int, int)
           
private  boolean passesLucasLehmer()
           
private  boolean passesMillerRabin(int, Random)
           
 BigInteger pow(int)
           
(package private)  boolean primeToCertainty(int, Random)
           
(package private) static void primitiveLeftShift(int[], int, int)
           
(package private) static void primitiveRightShift(int[], int, int)
           
static BigInteger probablePrime(int, Random)
           
private static byte[] randomBits(int, Random)
           
private  void readObject(ObjectInputStream)
           
 BigInteger remainder(BigInteger)
           
 BigInteger setBit(int)
           
 BigInteger shiftLeft(int)
           
 BigInteger shiftRight(int)
           
private  int signBit()
           
private  int signInt()
           
 int signum()
           
private static BigInteger smallPrime(int, int, Random)
           
private  BigInteger square()
           
private static int[] squareToLen(int[], int, int[])
           
private static int[] stripLeadingZeroBytes(byte[])
           
private static int[] stripLeadingZeroInts(int[])
           
private static int subN(int[], int[], int)
           
private static int[] subtract(int[], int[])
           
 BigInteger subtract(BigInteger)
           
 boolean testBit(int)
           
 byte[] toByteArray()
           
 String toString()
           
 String toString(int)
           
(package private) static int trailingZeroCnt(int)
           
private static int[] trustedStripLeadingZeroInts(int[])
           
private static BigInteger valueOf(int[])
           
static BigInteger valueOf(long)
           
private  void writeObject(ObjectOutputStream)
           
 BigInteger xor(BigInteger)
           
 
Methods inherited from class java.lang.Number
byteValue, shortValue
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

lowestSetBit

private int lowestSetBit

MAX_CONSTANT

private static final int MAX_CONSTANT

bitCount

private int bitCount

longRadix

private static BigInteger[] longRadix

staticRandom

private static volatile Random staticRandom

zeros

private static String[] zeros

bitsPerDigit

private static long[] bitsPerDigit

LONG_MASK

private static final long LONG_MASK

SMALL_PRIME_PRODUCT

private static final BigInteger SMALL_PRIME_PRODUCT

bnExpModThreshTable

static int[] bnExpModThreshTable

TWO

private static final BigInteger TWO

ZERO

public static final BigInteger ZERO

DEFAULT_PRIME_CERTAINTY

private static final int DEFAULT_PRIME_CERTAINTY

TEN

public static final BigInteger TEN

signum

int signum

serialPersistentFields

private static final ObjectStreamField[] serialPersistentFields

serialVersionUID

private static final long serialVersionUID

firstNonzeroIntNum

private int firstNonzeroIntNum

bitLength

private int bitLength

SMALL_PRIME_THRESHOLD

private static final int SMALL_PRIME_THRESHOLD

mag

int[] mag

trailingZeroTable

static final byte[] trailingZeroTable

digitsPerInt

private static int[] digitsPerInt

ONE

public static final BigInteger ONE

posConst

private static BigInteger[] posConst

intRadix

private static int[] intRadix

digitsPerLong

private static int[] digitsPerLong

negConst

private static BigInteger[] negConst

firstNonzeroByteNum

private int firstNonzeroByteNum
Constructor Detail

BigInteger

public BigInteger(byte[])

BigInteger

private BigInteger(int[])

BigInteger

public BigInteger(int,
                  byte[])

BigInteger

private BigInteger(int,
                   int[])

BigInteger

public BigInteger(String,
                  int)

BigInteger

BigInteger(char[])

BigInteger

public BigInteger(String)

BigInteger

public BigInteger(int,
                  Random)

BigInteger

public BigInteger(int,
                  int,
                  Random)

BigInteger

private BigInteger(int[],
                   int)

BigInteger

private BigInteger(byte[],
                   int)

BigInteger

BigInteger(MutableBigInteger,
           int)

BigInteger

private BigInteger(long)
Method Detail

parseInt

private int parseInt(char[],
                     int,
                     int)

destructiveMulAdd

private static void destructiveMulAdd(int[],
                                      int,
                                      int)

randomBits

private static byte[] randomBits(int,
                                 Random)

probablePrime

public static BigInteger probablePrime(int,
                                       Random)

smallPrime

private static BigInteger smallPrime(int,
                                     int,
                                     Random)

largePrime

private static BigInteger largePrime(int,
                                     int,
                                     Random)

nextProbablePrime

public BigInteger nextProbablePrime()

primeToCertainty

boolean primeToCertainty(int,
                         Random)

passesLucasLehmer

private boolean passesLucasLehmer()

jacobiSymbol

private static int jacobiSymbol(int,
                                BigInteger)

lucasLehmerSequence

private static BigInteger lucasLehmerSequence(int,
                                              BigInteger,
                                              BigInteger)

getSecureRandom

private static Random getSecureRandom()

passesMillerRabin

private boolean passesMillerRabin(int,
                                  Random)

valueOf

public static BigInteger valueOf(long)

valueOf

private static BigInteger valueOf(int[])

add

public BigInteger add(BigInteger)

add

private static int[] add(int[],
                         int[])

subtract

public BigInteger subtract(BigInteger)

subtract

private static int[] subtract(int[],
                              int[])

multiply

public BigInteger multiply(BigInteger)

multiplyToLen

private int[] multiplyToLen(int[],
                            int,
                            int[],
                            int,
                            int[])

square

private BigInteger square()

squareToLen

private static final int[] squareToLen(int[],
                                       int,
                                       int[])

divide

public BigInteger divide(BigInteger)

divideAndRemainder

public BigInteger[] divideAndRemainder(BigInteger)

remainder

public BigInteger remainder(BigInteger)

pow

public BigInteger pow(int)

gcd

public BigInteger gcd(BigInteger)

leftShift

private static int[] leftShift(int[],
                               int,
                               int)

primitiveRightShift

static void primitiveRightShift(int[],
                                int,
                                int)

primitiveLeftShift

static void primitiveLeftShift(int[],
                               int,
                               int)

bitLength

private static int bitLength(int[],
                             int)

abs

public BigInteger abs()

negate

public BigInteger negate()

signum

public int signum()

mod

public BigInteger mod(BigInteger)

modPow

public BigInteger modPow(BigInteger,
                         BigInteger)

oddModPow

private BigInteger oddModPow(BigInteger,
                             BigInteger)

montReduce

private static int[] montReduce(int[],
                                int[],
                                int,
                                int)

intArrayCmpToLen

private static int intArrayCmpToLen(int[],
                                    int[],
                                    int)

subN

private static int subN(int[],
                        int[],
                        int)

mulAdd

static int mulAdd(int[],
                  int[],
                  int,
                  int,
                  int)

addOne

static int addOne(int[],
                  int,
                  int,
                  int)

modPow2

private BigInteger modPow2(BigInteger,
                           int)

mod2

private BigInteger mod2(int)

modInverse

public BigInteger modInverse(BigInteger)

shiftLeft

public BigInteger shiftLeft(int)

shiftRight

public BigInteger shiftRight(int)

javaIncrement

int[] javaIncrement(int[])

and

public BigInteger and(BigInteger)

or

public BigInteger or(BigInteger)

xor

public BigInteger xor(BigInteger)

not

public BigInteger not()

andNot

public BigInteger andNot(BigInteger)

testBit

public boolean testBit(int)

setBit

public BigInteger setBit(int)

clearBit

public BigInteger clearBit(int)

flipBit

public BigInteger flipBit(int)

getLowestSetBit

public int getLowestSetBit()

bitLength

public int bitLength()

bitLen

static int bitLen(int)

bitCount

public int bitCount()

bitCnt

static int bitCnt(int)

trailingZeroCnt

static int trailingZeroCnt(int)

isProbablePrime

public boolean isProbablePrime(int)

compareTo

public int compareTo(BigInteger)

intArrayCmp

private static int intArrayCmp(int[],
                               int[])

equals

public boolean equals(Object)
Overrides:
equals in class Object

min

public BigInteger min(BigInteger)

max

public BigInteger max(BigInteger)

hashCode

public int hashCode()
Overrides:
hashCode in class Object

toString

public String toString(int)

toString

public String toString()
Overrides:
toString in class Object

toByteArray

public byte[] toByteArray()

intValue

public int intValue()

longValue

public long longValue()

floatValue

public float floatValue()

doubleValue

public double doubleValue()

stripLeadingZeroInts

private static int[] stripLeadingZeroInts(int[])

trustedStripLeadingZeroInts

private static int[] trustedStripLeadingZeroInts(int[])

stripLeadingZeroBytes

private static int[] stripLeadingZeroBytes(byte[])

makePositive

private static int[] makePositive(byte[])

makePositive

private static int[] makePositive(int[])

intLength

private int intLength()

signBit

private int signBit()

signInt

private int signInt()

getInt

private int getInt(int)

firstNonzeroIntNum

private int firstNonzeroIntNum()

readObject

private void readObject(ObjectInputStream)
                 throws IOException,
                        ClassNotFoundException
Throws:
IOException
ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream)
                  throws IOException
Throws:
IOException

magSerializedForm

private byte[] magSerializedForm()

compareTo

public volatile int compareTo(Object)
Specified by:
compareTo in interface Comparable

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.