InnerModularGcd(R, BP, pMod, nextMod)

modgcd.spad line 1 [edit on github]

• R: EuclideanDomain

• BP: UnivariatePolynomialCategory R

• pMod: R

• nextMod: (R, NonNegativeInteger) -> R

This file contains the functions for modular gcd algorithm for univariate polynomials with coefficients in a non-trivial euclidean domain (i.e. not a field). The package parametrised by the coefficient domain, the polynomial domain, a prime, and a function for choosing the next prime

modularGcdPrimitive: List BP -> BP

modularGcdPrimitive(listf) computes the gcd of the list of primitive polynomials listf by modular methods.

reduction: (BP, R) -> BP

reduction(f, p) reduces the coefficients of the polynomial f modulo the prime p.