Class PartialSolver02

java.lang.Object
de.tilman_neumann.jml.factor.base.congruence.PartialSolver02
All Implemented Interfaces:
PartialSolver

public class PartialSolver02
extends java.lang.Object
implements PartialSolver
A Gaussian solver used to find smooth from partial relations. Improved version by Dave McGuigan.
  • Constructor Summary

    Constructors
    Constructor Description
    PartialSolver02()  
  • 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.

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

    • PartialSolver02

      public PartialSolver02()
  • Method Details

    • getName

      public java.lang.String getName()
      Specified by:
      getName in interface PartialSolver
      Returns:
      the name of the algorithm
    • initializeForN

      public void initializeForN()
      Description copied from interface: PartialSolver
      Initialize this partial solver for a new factor argument.
      Specified by:
      initializeForN in interface PartialSolver
    • solve

      public Smooth solve​(java.util.Collection<? extends Partial> congruences)
      Description copied from interface: PartialSolver
      Solve a partial congruence equation system.
      Specified by:
      solve in interface PartialSolver
      Parameters:
      congruences - the partial congruence equation system
      Returns:
      list of smooth congruences found
    • getMaxMatrixSize

      public int getMaxMatrixSize()
      Specified by:
      getMaxMatrixSize in interface PartialSolver
      Returns:
      the size of the biggest partial matrix found for some N
    • cleanUp

      public void cleanUp()
      Description copied from interface: PartialSolver
      Release memory after a factorization.
      Specified by:
      cleanUp in interface PartialSolver