问题标签 [hamming-numbers]

目标是确定输入的数字是否是汉明数？！汉明数是所有分解后的仅包含素数 2、3 和 5 的数字。如果分解后的数字包含与 2、3 和 5 中的任何一个不同的任何数字，则不是汉明数。所以我找到了如何分解每个输入的数字，并且因子形成了一个数组。我想设置条件是否有任何因素不同于 2、3 或 5，以便能够从潜在的汉明数列表中排除这些数字！

将每个数字分解为素数的代码是：

现在我需要设置条件以排除这个新形成的数组中包含任何不同于 2、3 和 5 的素因子的所有数字！

我在 codewars 中遇到了一个问题，要求找到第n个最小的汉明数。基本上，这个数字只能有 2、3 和/或 5 作为因子。下面是我为它编写的代码。

但它没有给出正确的值。

我正在学习 Idris 语言并决定实施惰性算法来查找所有 Hamming 数，即“n = 2^i 3^j 5^k”形式的数字（仅由 2s、3s 和 5s 组成）。据我了解，我需要大量使用Stream数据类型。我决定采用的方法是从通常的基本递归构造中省略重复项。为此，我将需要以下merge功能：

和Stream5 的幂（作为起点）：

汉明数的结果Stream具有以下结构：

代码可以加载到 REPL 环境中，但是当我尝试访问时，例如，第 10 个元素

我得到非常奇怪的结果，即它只计算第一个元素，这显然是 1 并写下表达式......

我真的使用“正确”的惰性结构吗？如何以打印出无限序列的第 10 个数字（例如）的方式解决此问题？