CommuteUnivariatePolynomialCategory(R, UP, UPUP)

polycat.spad line 1261 [edit on github]

• R: Ring

• UP: UnivariatePolynomialCategory R

• UPUP: UnivariatePolynomialCategory UP

A package for swapping the order of two variables in a tower of two UnivariatePolynomialCategory extensions.

swap: UPUP -> UPUP

swap(p(x, y)) returns p(y, x).