output after each
outCto30
2
[1,30]
10
BEGIN DEFINITIONS
//The point is that this map is not closing. 
//The map poly below is the composition of the maps B and B1.
//All three maps poly,  B#Brev and Brev#B give identical 
//output on a check through shift period K=8. 
//B is left permutative, not right closing; 
//Brev is right permutative, not left closing; 
//a composition of B and B1 will be neither left not right closing; 
//all three maps have degree 1. 
OPT B = x[0] + x[1]*x[2]
OPT Brev =  x[0]*x[1] + x[2]
// this attempt gave "segmentation fault" C = B#Brev
//OPT poly = x[0]*x[1]+x[0]*x[2]*x[3]+x[1]*x[2]+x[1]*x[2]*x[3]+x[2]+x[3]*x[4]
BEGIN COMMANDS
B#Brev