Interface PartialSolver
- All Known Implementing Classes:
PartialSolver01,PartialSolver02
public interface PartialSolver
Interface for solvers used to find smooth from partial relations.
-
Method Summary
Modifier and Type Method Description voidcleanUp()Release memory after a factorization.intgetMaxMatrixSize()java.lang.StringgetName()voidinitializeForN()Initialize this partial solver for a new factor argument.Smoothsolve(java.util.Collection<? extends Partial> congruences)Solve a partial congruence equation system.
-
Method Details
-
getName
java.lang.String getName()- Returns:
- the name of the algorithm
-
initializeForN
void initializeForN()Initialize this partial solver for a new factor argument. -
solve
Solve a partial congruence equation system.- Parameters:
congruences- the partial congruence equation system- Returns:
- list of smooth congruences found
-
getMaxMatrixSize
int getMaxMatrixSize()- Returns:
- the size of the biggest partial matrix found for some N
-
cleanUp
void cleanUp()Release memory after a factorization.
-