Package de.tilman_neumann.jml.factor.base

Interface AnalysisOptions

  • public interface AnalysisOptions
    Factoring analysis settings.

    Code "guarded" with a static final boolean = false will be removed by the compiler. Thus if turned off, analysis code does not decrement performance.

    Note as well that we would never want to do analysis/profiling in nested algorithms like the internalQS called by trial division to factor large Q rests, but it does not hurt either.

    Author:
    Tilman Neumann

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static boolean ANALYZE
      Basic analysis includes number of polynomials, number of smooth and partial relations (also by large factor counts), trials division results, solver runs and tested null-vectors, and sub-phase timings.
      static boolean ANALYZE_LARGE_FACTOR_SIZES
      A switch to additionally turn on analysis of the size of large factors that yield smooth relations.
      static boolean ANALYZE_Q_SIGNS
      A switch to additionally turn on analysis of the number of Q-values with positive and negative sign.

    • Field Detail

      • ANALYZE

        static final boolean ANALYZE
        Basic analysis includes number of polynomials, number of smooth and partial relations (also by large factor counts), trials division results, solver runs and tested null-vectors, and sub-phase timings.
        See Also:
        Constant Field Values

      • ANALYZE_LARGE_FACTOR_SIZES

        static final boolean ANALYZE_LARGE_FACTOR_SIZES
        A switch to additionally turn on analysis of the size of large factors that yield smooth relations.
        See Also:
        Constant Field Values

      • ANALYZE_Q_SIGNS

        static final boolean ANALYZE_Q_SIGNS
        A switch to additionally turn on analysis of the number of Q-values with positive and negative sign.
        See Also:
        Constant Field Values