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

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

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

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

sylvesterMatrix: (UP, UP) -> Matrix R