The command Polynomial(v, rc, R) returns the polynomial of rc with main variable v, otherwise an error is produced.

This command is part of the RegularChains[ChainTools] package, so it can be used in the form Polynomial(..) only after executing the command with(RegularChains[ChainTools]).  However, it can always be accessed through the long form of the command by using RegularChains[ChainTools][Polynomial](..).

$\mathrm{with}\left(\mathrm{RegularChains}\right)\:$

$R≔\mathrm{PolynomialRing}\left(\left[x\,y\,z\right]\right)$

$R≔\mathrm{polynomial\_ring}$

$\mathrm{with}\left(\mathrm{ChainTools}\right)\:$

$T≔\mathrm{Empty}\left(R\right)\:$

$T≔\mathrm{Chain}\left(\left[\left(z+1\right)\left(z+2\right)\,y^2+z\,\left(x-z\right)\left(x-y\right)\right]\,T\,R\right)$

$T≔\mathrm{regular\_chain}$

$\mathrm{Equations}\left(T\,R\right)$

$\left[x^2+\left(-y-z\right)x+zy\,y^2+z\,z^2+3z+2\right]$

$\mathrm{p1}≔\mathrm{Polynomial}\left(x\,T\,R\right)$

$\mathrm{p1}≔x^2-xy-zx+zy$

$\mathrm{p2}≔\mathrm{Polynomial}\left(y\,T\,R\right)$

$\mathrm{p2}≔y^2+z$

$\mathrm{p3}≔\mathrm{Polynomial}\left(z\,T\,R\right)$

$\mathrm{p3}≔z^2+3z+2$