bit_factorize 从输入x的序列中找到a，x在Q ^ n中的 == 0（NB randtools一般技巧6，我们将复杂度排除在a的精度之外）。 这将检测这些块是否同时包含整个确定性输入和整个计算机计算的确定性输出。 规范 首先使用n-1 +α序列生成向量，然后对不变结构显示误差。 使用方法（草稿） ./bit_factorize n m k # calculate n number line invariant from first bit to n number pair, #