The class group of a polynomial ring