BezoutMatrixWrapper(R, UP)ΒΆ

bezout.spad line 217

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