isWellDefined for ring maps #3961
Description
I think isWellDefined is ignoring the coefficient ring (when one is present) and incorrectly returning true.
For example,isWellDefined map(ZZ,(ZZ/5)) tells me correctly that this map is not well-defined, but isWellDefined map(ZZ[x],(ZZ/5)[x]) returns true.