PARI / GPは数論における計算のために設計されたコンピュータ代数システムです
