BezoutMatrixWrapper(R, UP)

bezout.spad line 217 [edit on github]

• R : Ring
• UP : UnivariatePolynomialCategory(R)

This is a wrapper package for BezoutMatrix, to avoid manually filling up type arguments.

bezoutDiscriminant : UP -> R if R has CommutativeRing

bezoutMatrix : (UP, UP) -> Matrix(R)

bezoutResultant : (UP, UP) -> R if R has CommutativeRing

subSylvesterMatrix : (Matrix(R), NonNegativeInteger) -> Matrix(R)

subSylvesterMatrix : (Matrix(R), NonNegativeInteger, NonNegativeInteger) -> Matrix(R)

subresultants : (UP, UP) -> IndexedVector(UP, 0) if R has CommutativeRing

sylvesterMatrix : (UP, UP) -> Matrix(R)