Raw File
#include "cado.h"
#include "mod_mpz_default.h"
#define pm1 pm1_mpz
#define pm1_stage1 pm1_stage1_mpz
#define pp1_stage2 pp1_stage2_mpz

#include "pm1.c"
back to top