If f:R->S is a ring map and R=A/I is a quotient ring, this method returns the NCRingMap g:A->S obtained by composing f with the natural map. This method is called by isWellDefined(NCRingMap) and can be used to determine what ideal to mod out of the target so the map becomes well-defined.
|
|
|
|
|
|