Class AQPairFactory
java.lang.Object
de.tilman_neumann.jml.factor.base.congruence.AQPairFactory
public class AQPairFactory
extends java.lang.Object
Creates an elementary congruence of the subclass appropriate for the given large factors.
-
Constructor Summary
Constructors Constructor Description AQPairFactory()
-
Method Summary
Modifier and Type Method Description AQPair
create(java.math.BigInteger A, SortedIntegerArray smallFactors, SortedLongArray bigFactors)
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
AQPairFactory
public AQPairFactory()
-
-
Method Details
-
create
public AQPair create(java.math.BigInteger A, SortedIntegerArray smallFactors, SortedLongArray bigFactors)- Parameters:
A
-smallFactors
- small factors of QbigFactors
- large factors of Q- Returns:
- a new AQPair created from the given arguments
-