% The polynomial ring whose underlying commutative ring of
% coefficients is the first argument and whose indeterminates (a
% comma-separated list) are the second argumnt.
% The polynomial ring whose underlying commutative ring of
% coefficients is the first argument and whose indeterminates (a
% comma-separated list) are the second argumnt.