graphRing

graphRing f -- provides the ring of the graph of the map associated to the ring map f.

See also graphIdeal.

topindexpreviousupnext