Here is a session which does roughly what the spreadsheet command does. For more detail see Chapter 15
In[11]:=NCMakeGB[FAC,2];
In[11]:=SmallBasisByCategory[RemoveRedundant[%] ]; |
The next command tries to see if any of the undigested relations can be made simpler using the digested relations
In[12]:=NCSimplifyAll[%11, DigestedRelations[%11] ];
|
Finally we output the result to the file “SecondOutputForDemo”??.
In[13]:=RegularOutput[%12, "SecondOutputForDemo"];
|
Now we return to the strategy demos of Chapter 15.
Inserting the command RemoveRedundant inside of small basis may change the answer, but it yields the same answer as SmallBasis would have given with one particular order on the set of relations given as input. All this assumes that the number of iterations is large. Inserting RemoveRedundant saves much computer time.