Package de.tilman_neumann.jml.factor.base

Interface GlobalFactoringOptions

  • public interface GlobalFactoringOptions
    Global factoring settings. Code "guarded" with a static final boolean = false will be removed by the compiler. Thus if turned off, such code does not decrement performance at all.
    Author:
    Tilman Neumann

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static boolean ANALYZE
      Basic analysis of timings and operations.
      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.
      static boolean USE_FMA
      A switch to turn on using the "fused multiply-add" operation defined in IEEE 754-2008.

    • Field Detail

      • ANALYZE

        static final boolean ANALYZE
        Basic analysis of timings and operations. This option is used by most or all factoring algorithms that collect relations. In SIQS, the 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

      • USE_FMA

        static final boolean USE_FMA
        A switch to turn on using the "fused multiply-add" operation defined in IEEE 754-2008. Support requires Java 9 and a Intel Haswell or AMD Piledriver CPU or later. If supported this means a speed improvement; otherwise the emulation is very very slow.
        See Also:
        Constant Field Values