BezoutMatrixWrapper(R, UP)ΒΆ

bezout.spad line 218

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

subResultant: (UP, UP, NonNegativeInteger) -> UP if R has CommutativeRing

subResultantList: (UP, UP) -> List UP if R has CommutativeRing

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

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

sylvesterMatrix: (UP, UP) -> Matrix R