Class CongruenceCollector01

java.lang.Object
de.tilman_neumann.jml.factor.base.congruence.CongruenceCollector01
All Implemented Interfaces:
CongruenceCollector

public class CongruenceCollector01
extends java.lang.Object
implements CongruenceCollector
Collects smooth and partial congruences, and assembles partials to smooth congruences on-the-fly relying solely on the partzial solver. Partials may have any number of large factors but not too many related partials. I.e. CFrac will work with 3-partials, because the number of relations is comparably small. In contrast, SIQS with 3-partials will run into severe performance issues because for large enough N, many partials have hundreds of thousands of related partials and the partial solver can't solve such big equation systems.
  • Field Details

    • factor

      public java.math.BigInteger factor
  • Constructor Details

    • CongruenceCollector01

      public CongruenceCollector01()
      Default constructor that expects 10 more equations than variables to run the matrix solver.
    • CongruenceCollector01

      public CongruenceCollector01​(int extraCongruences)
      Full constructor.
      Parameters:
      extraCongruences - The difference #equations-#variables required before the solver is started.
  • Method Details