Extension

Given a ring $R$, an identifier $\alpha$ and a polynomial $p$, constructs the extension adjoining $\alpha$ to $R$.

Given a ring $R$ and a polynomial $p\left(x\right)$, constructs the extension adjoining $x$ to $R$.