fix isQuotientRing for cases that parameter ring and basering differ

...e same