net S
Displays the presentation and ambient rings of a Subring.
i1 : R = QQ[x,y];
i2 : S = subring{x^2,x*y^2,y^4} o2 = QQ[p_0..p_2], subring of R o2 : Subring