GeneralPolynomialGcdPackage(E, OV, R, P)

gpgcd.spad line 1 [edit on github]

• E: OrderedAbelianMonoidSup

• OV: OrderedSet

• R: PolynomialFactorizationExplicit

• P: PolynomialCategory(R, E, OV)

This package provides operations for GCD computations on polynomials

gcdPolynomial: (SparseUnivariatePolynomial P, SparseUnivariatePolynomial P) -> SparseUnivariatePolynomial P

gcdPolynomial(p, q) returns the GCD of p and q

randomR: () -> R

randomR() should be local but conditional