NTL使用4 Modular Arithmetic

类ZZ_p代表整数模p；
Vec<ZZ_p> 代表向量模p；
Mat<ZZ_p>代表矩阵模p；
ZZ_pX代表多项式模p；

例：以下程序读取一个素数p，一个多项式 f 模 p，并分解它。

#include <NTL/ZZ_pXFactoring.h>

using namespace std;
using namespace NTL;

int main()
{
   ZZ p;
   cin >> p;
   ZZ_p::init(p);

   ZZ_pX f;
   cin >> f;

   Vec< Pair< ZZ_pX, long > > factors;

   CanZass(factors, f);  // calls "Cantor/Zassenhaus" algorithm

   cout << factors << "\n";
    
}