arguments: f:ringelem m:monomial >> a:ringelem
Yields the (possibly zero) coefficient of the monomial 'm' in the polynomial 'f'.
