RingEnvs():TAGGED
R_1 ::= QQ[a,b,c]; R_2 ::= QQ[x,y]; RingEnvs(); -- your result may be different ["QQ", "QQt", "R", "R_1", "R_2", "ZZ"] -------------------------------