Are there some documentation on diamond bracket notation:
R.<w> = PolynomialRing(QQ)
and square bracket notation:
R.<y> = QQ['y']; R
Univariate Polynomial Ring in y over Rational Field
There is some documentation in Constructors for polynomial rings docs but it looks superficial on this topic.
Are there some complete explanation with all the details behind the scene?