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 NCAlgebra/NCAlgebraDoc.m2:3072:0.