graphIdeal -- the ideal of the graph of a ring map

graphIdeal -- the ideal of the graph of a ring map

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

See also:

graphRing -- the ring of the graph of a ring map

Ways to use graphIdeal :

Optional arguments :

graphIdeal(..., Adjust) -- adjust the multi-degree

graphIdeal(..., Degrees) -- specify the degrees

graphIdeal(..., Inverses) -- specify whether generators are invertible

graphIdeal(..., MonomialOrder) -- monomial ordering

graphIdeal(..., MonomialSize) -- specify maximum exponent size

graphIdeal(..., NewMonomialOrder => ...)

graphIdeal(..., Repair) -- repair the multi-degree

graphIdeal(..., SkewCommutative) -- make a skewcommutative (alternating) ring

graphIdeal(..., VariableBaseName) -- base name for variables

graphIdeal(..., VariableOrder)

graphIdeal(..., Variables) -- specify the variable names

graphIdeal(..., Weights) -- specify monomial ordering by weights

graphIdeal(..., WeylAlgebra) -- make a Weyl algebra