Searched refs:BKZ_DEF_RERANDOMIZATION_DENSITY (Results 1 – 5 of 5) sorted by relevance
116 int rerandomization_density = BKZ_DEF_RERANDOMIZATION_DENSITY)
260 const int BKZ_DEF_RERANDOMIZATION_DENSITY = 3; variable
17 from .fplll cimport BKZ_DEF_RERANDOMIZATION_DENSITY300 int rerandomization_density=BKZ_DEF_RERANDOMIZATION_DENSITY,527 if all or self.rerandomization_density != BKZ_DEF_RERANDOMIZATION_DENSITY:
31 from .fplll cimport BKZ_DEF_RERANDOMIZATION_DENSITY1162 DEFAULT_RERANDOMIZATION_DENSITY = BKZ_DEF_RERANDOMIZATION_DENSITY
250 const int BKZ_DEF_RERANDOMIZATION_DENSITY