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