如何使用NTL库（C ++）对数字求和

Question

我正在构建一个C ++程序，以验证多达1000亿次迭代的数学猜想。 为了测试如此高的数字，我不能使用C++ int ，所以我正在使用NTL库，将ZZ类型用作我的数字类型。

我的算法如下所示：

ZZ generateNthSeq(ZZ n)
{
    return floor(n*sqrt(2));
}

我有两个要导入的库：

#include <cmath>
#include <NTL/ZZ.h>

但是显然这不能编译，因为我得到了错误：

$ g++ deepness*.cpp
deepness.cpp: In function ‘NTL::ZZ generateNthSeq(NTL::ZZ)’:
deepness.cpp:41: error: no matching function for call to ‘floor(NTL::ZZ)’
/usr/include/bits/mathcalls.h:185: note: candidates are: double floor(double)
/usr/lib/gcc/x86_64-redhat-linux/4.4.7/../../../../include/c++/4.4.7/cmath:262: note:                 long double std::floor(long double)
/usr/lib/gcc/x86_64-redhat-linux/4.4.7/../../../../include/c++/4.4.7/cmath:258: note:                 float std::floor(float)

说明地板数学运算不能接受ZZ类类型。 但是我需要数字很大。 在使用NTL库时，如何完成我想做的事情（即对功能进行下限）？

Answer 1

请注意，将floor应用于整数类型并没有多大意义（嗯，确实如此，这只是禁止操作）。 您应该真正担心的是，您的代码显然将ZZ类型的内容传递给了floor ！

也就是说， n * sqrt(2)在这里可能意味着什么？

另外，在编写该文档之前，我还要检查文档以查看库中是否确实存在integer *浮点数-通常，对于所有有用的浮点数，您需要可用的任意精度浮点类型。

---

通过标头检查，只有一个乘法运算符：

ZZ operator*(const ZZ& a, const ZZ& b);

并且有一个转换构造函数：

explicit ZZ(long a);  // promotion constructor

我无法弄清楚您的代码是如何编译的。 也许您使用的库版本与我使用的库版本不同，并且转换构造函数是隐式的，并且您的double函数已“提升”为ZZ 。 这肯定不是您想要的，因为将sqrt(2)提升为ZZ只会给您整数1 。

您要么需要：

• 调查NTL是否具有任意精度的浮点功能
• 切换到确实具有任意精度浮点功能的库
• 将您的计算转换为纯整数运算

最后一个在这里很容易：您想要

return SqrRoot(sqr(n) * 2); // sqr(n) will be a bit more efficient than `n * n`