Polynomial ring with a number (to be determined) of variables

edit

You don't even have to decide on $n$ at all; just take an infinite polynomial ring.

By Infinite Polynomial Rings, we mean polynomial rings in a countably infinite number of variables. The implementation consists of a wrapper around the current finite polynomial rings in Sage.

Call polynomial_ring() to get the underlying finite polynomial ring.