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
  
  public Partial_1Large(java.math.BigInteger A, SortedIntegerArray smallFactors, long bigFactor)
  
  Full constructor.
  
  Parameters:
  
  A -
  
  smallFactors - small factors of Q
  
  bigFactor - the single large factor of Q
Method Details
- getAllQFactors
  
  public SortedMultiset<java.lang.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 java.lang.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.