1073 mpz_init_set_ui(temp,1);
1089 mpz_init_set_ui(temp,1);
1090 mpz_init_set_ui(base,1);
1091 mpz_init_set_ui(base2,1);
1092 mpz_init_set_ui(base3,1);
1093 mpz_init_set_ui(psi,1);
1129 mpz_set_si(temp,-1);
1132 mpz_init_set_ui(temp2,0);
1133 mpz_pow_ui(temp2,f2.
coef[f2.
deg],alpha);
1138 mpz_pow_ui(base,temp,alpha);
1143 mpz_pow_ui(base2,f2.
coef[f2.
deg],alpha);
1147 mpz_pow_ui(base,temp,delta);
1175 mpz_pow_ui(temp2,f2.
coef[f2.
deg],alpha);
1180 mpz_pow_ui(base,psi,delta);
1181 mpz_pow_ui(base2,f1.
coef[f1.
deg],delta);
1184 mpz_mul(base2,base2,psi);
1185 mpz_divexact(psi,base2,base);
1189 mpz_pow_ui(base,temp,alpha);
1190 mpz_pow_ui(base2,psi,delta2);
1191 mpz_mul(base2,base2,f1.
coef[f1.
deg]);
1198 mpz_pow_ui(base3,f2.
coef[f2.
deg],alpha);
void poly_sub(const int_poly, const int_poly)
void poly_scalar_mult_to(const mpz_t)
void poly_mult_n(int_poly, int_poly)
bool delta(X x, Y y, D d)
void poly_set(const int_poly)
void poly_mult_n_to(const int_poly)
void poly_scalar_div_to(const mpz_t)
void poly_scalar_mult(const mpz_t, const int_poly)
void poly_extsubgcd(int_poly &, int_poly &, int_poly &, int_poly, int_poly)
void poly_div(int_poly &, int_poly &, int_poly, int_poly)