p2&lt;y&gt;:＝polynomialring(s);