graphIdeal

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

See also graphRing.

Go to main index.

Go to concepts index.