This computes the Sylvester sequence of two univariate polynomials f and g in the same ring
i1 : R = QQ[t] o1 = R o1 : PolynomialRing |
i2 : f = (t+1)*(t+2)
2
o2 = t + 3t + 2
o2 : R
|
i3 : g = (t+2) o3 = t + 2 o3 : R |
i4 : SylvesterSequence(f,g)
o4 = {t + 1, 1, 0}
o4 : List
|