J = f I
This function applies the ring map f to the generators of the ideal or noncommutative Groebner basis that is passed in.
|
|
|
|
The source of this document is in NCAlgebra/NCAlgebraDoc.m2:4361:0.