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).