30.6 Smaller Bases and the Spreadsheet command

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.