A base ring A of R is one of the rings involved in the construction of R. The natural ring homomorphism from A to R is implemented with promote.
The base rings are presented in chronological order.
