This function creates the graph ideal of a ring map between noncommutative rings. It creates the free product of the source and target, and forms the ideal generated by $v - f(v)$ for all variables $v$ in the source.
|
|
|
|
|
Those generators of the Groebner basis that involve only the variables in the domain are a Groebner basis of the kernel of the ring map.
The object ncGraphIdeal is a method function.