Suppose we are in a NCProcess session which produced the output on page § and we really like the category whose unknowns are n1 and m1. To bring that category into our session so you can manipulate these equations with Mathematica use the command
In[17]:= GetCategories[ { n1,m1 } , NCPAns ]
Out[17]= {n1**m1 - 1} In[18]:= GetCategories[ "singleVars", NCPAns ] Out[18]= {a,b,c,e,f,g} |