Class CongruenceCollector_Small

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

public class CongruenceCollector_Small
extends java.lang.Object
implements CongruenceCollector
A copy of CongruenceCollector01 used for collecting congruences in nested SIQS. Reduced to work with perfect smooths and 1-partials only.
  • Field Details

    • factor

      public java.math.BigInteger factor
  • Constructor Details

    • CongruenceCollector_Small

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

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