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 |