fred = f % Igb
This command reduces the input modulo a noncommutative Groebner basis. It will either reduce it using top-level Macaulay code, or via a call to Bergman, depending on the size and degree of the input element.
|
|
|
|
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/NCAlgebra/NCAlgebraDoc.m2:1670:0.