isWellDefined f
Returns true if the given NCRingMap evaluates as 0 on the defining relations of the source.
|
|
|
|
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/NCAlgebra/NCAlgebraDoc.m2:3072:0.