Class Partial_1Large
- 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_1Large
-
public class Partial_1Large extends Partial
A partial congruence having 1 large factor.- Author:
- Tilman Neumann
-
-
Constructor Summary
Constructors Constructor Description Partial_1Large(BigInteger A, SortedIntegerArray smallFactors, long bigFactor)
Full constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SortedMultiset<Long>
getAllQFactors()
Long[]
getLargeFactorsWithOddExponent()
int
getNumberOfLargeQFactors()
-
-
-
Constructor Detail
-
Partial_1Large
public Partial_1Large(BigInteger A, SortedIntegerArray smallFactors, long bigFactor)
Full constructor.- Parameters:
A
-smallFactors
- small factors of QbigFactor
- the single large factor of Q
-
-
Method Detail
-
getAllQFactors
public SortedMultiset<Long> getAllQFactors()
- Specified by:
getAllQFactors
in classAQPair
- 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 classPartial
- Returns:
- the large factors appearing with odd exponent.
-
getNumberOfLargeQFactors
public int getNumberOfLargeQFactors()
- Specified by:
getNumberOfLargeQFactors
in classAQPair
- Returns:
- the total number of large factors of Q in this AQPair.
-
-