CommuteUnivariatePolynomialCategory(R, UP, UPUP)ΒΆ

polycat.spad line 1210

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