1 #ifndef GINAC_CHINREM_GCD_PGCD_H
2 #define GINAC_CHINREM_GCD_PGCD_H
8 /// Exception to be thrown when modular GCD algorithm fails
11 virtual ~pgcd_failed() { }
15 * @brief Compute the GCD of two polynomials over a prime field Z_p
17 * @param vars variables
18 * @param p designates the coefficient field Z_p
19 * @param A polynomial \in Z_p[vars]
20 * @param B second polynomial \in Z_p[vars]
23 pgcd(const ex& A, const ex& B, const exvector& vars, const long p);