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

Class Smooth_1LargeSquare

java.lang.Object

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

de.tilman_neumann.jml.factor.base.congruence.Smooth_Simple

de.tilman_neumann.jml.factor.base.congruence.Smooth_1LargeSquare

All Implemented Interfaces:

Smooth

public class Smooth_1LargeSquare
extends Smooth_Simple

A smooth congruence with 1 large factor contained as a square.

Author:

Tilman Neumann

Constructor Summary

Constructors

Constructor	Description
Smooth_1LargeSquare(BigInteger A, SortedIntegerArray smallFactors, long bigFactor)	Full constructor.

Method Summary

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

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

addMyAQPairsViaXor, getAQPairs, getMatrixElements, isExactSquare

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

Smooth_1LargeSquare

public Smooth_1LargeSquare(BigInteger A,
                           SortedIntegerArray smallFactors,
                           long bigFactor)

Full constructor.

Parameters:

A -

smallFactors - small factors of Q

bigFactor - the single large factor of Q contained as square

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.

getNumberOfLargeQFactors

public int getNumberOfLargeQFactors()

Specified by:

getNumberOfLargeQFactors in class AQPair

Returns:

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