PARI/GP 是为数论计算而设计的计算机代数系统
