福尔摩斯 fplll 包含几种格算法的实现。 该实现依赖于浮点正交化，并且 LLL [ ] 是代码的核心，因此得名。 它包括浮点 LLL 缩减算法的实现 [ ， ]，提供不同的速度/保证比率。 它包含一个“包装器”，用于选择估计的最佳变体序列，以便尽可能快地提供有保证的输出 [ ]。 在包装器的情况下，变体的连续性对用户来说是无知的。 它包括 BKZ 缩减算法 [ ] 的实现，包括 BKZ-2.0 [ ] 改进（极端枚举修剪、块的预处理、提前终止）。 此外，还支持滑动减少[ ]和自双BKZ[ ]。 它还包括 Kannan-Fincke-Pohst 算法 [ , ] 的浮点实现，该算法可找到最短的非零晶格向量。 最后，它包含枚举算法的一个变体，该算法计算最接近给定向量的网格向量，该向量属于网格的实际跨度。 fplll 是在自由软件基金会发布的（2.1 版，或您选