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.
-
Constructor Summary
Constructors Constructor Description Partial_1Large(java.math.BigInteger A, SortedIntegerArray smallFactors, long bigFactor)
Full constructor. -
Method Summary
Modifier and Type Method Description SortedMultiset<java.lang.Long>
getAllQFactors()
java.lang.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 Details
-
Partial_1Large
Full constructor.- Parameters:
A
-smallFactors
- small factors of QbigFactor
- the single large factor of Q
-
-
Method Details
-
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 java.lang.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.
-