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
    void cleanUp()
    Release memory after a factorization.
    int getMaxMatrixSize()  
    java.lang.String getName()  
    void initializeForN()
    Initialize this partial solver for a new factor argument.
    Smooth solve​(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

      Smooth solve​(java.util.Collection<? extends Partial> congruences)
      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.