This function brings the variables of a particular NCRing in scope. For an illustration:
|
|
|
|
As you can see, at this point the interpreter treats x,y and z as elements of B. To go back to A, we run the command use A:
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/NCAlgebra/NCAlgebraDoc.m2:228:0.