Package de.tilman_neumann.jml.factor.base.congruence

Class Partial_nLarge

java.lang.Object

de.tilman_neumann.jml.factor.base.congruence.AQPair

de.tilman_neumann.jml.factor.base.congruence.Partial

de.tilman_neumann.jml.factor.base.congruence.Partial_nLarge

public class Partial_nLarge
extends Partial

A partial congruence having an arbitrary number of large factors. This class will hardly be needed in SIQS, but may be needed in CFrac.

Author:

Tilman Neumann

Constructor Summary

Constructors

Constructor	Description
Partial_nLarge(BigInteger A, SortedIntegerArray smallFactors, SortedLongArray bigFactors)	Full constructor.

Method Summary

Modifier and Type	Method	Description
SortedMultiset<Long>	getAllQFactors()
Long[]	getLargeFactorsWithOddExponent()
int	getNumberOfLargeQFactors()

Methods inherited from class de.tilman_neumann.jml.factor.base.congruence.AQPair

equals, getA, getSmallQFactors, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Partial_nLarge

public Partial_nLarge(BigInteger A,
                      SortedIntegerArray smallFactors,
                      SortedLongArray bigFactors)

Full constructor.

Parameters:

A -

smallFactors - small factors of Q

bigFactors - large factors of Q

Method Detail

getAllQFactors

public SortedMultiset<Long> getAllQFactors()

Specified by:

getAllQFactors in class AQPair

Returns:

all Q-factors with exponents. This method is only called in the final test of null vectors found by the smooth solver; but then it is needed for a whole bunch of AQPairs.

getLargeFactorsWithOddExponent

public Long[] getLargeFactorsWithOddExponent()

Specified by:

getLargeFactorsWithOddExponent in class Partial

Returns:

the large factors appearing with odd exponent.

getNumberOfLargeQFactors

public int getNumberOfLargeQFactors()

Specified by:

getNumberOfLargeQFactors in class AQPair

Returns:

the total number of large factors of Q in this AQPair.