graphIdeal

graphIdeal f -- provides the ideal of the graph of the map associated to the ring map f.

See also graphRing.

topindexpreviousupnext