describe x -- returns a net containing the real description of x, bypassing the feature which causes certain types of things to acquire, for brevity, the names of global variables to which they are assigned.
i1 : R = ZZ/101[a,b,c_1,c_2];
i2 : R
o2 = R
o2 : PolynomialRing
i3 : describe R
ZZ
o3 = --- [a, b, c , c ]
101 1 2
i4 : toString describe R
o4 = ZZ
--- [a, b, c , c ]
101 1 2