FProbPeriod 3.67 INPUT -------------------- 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 -------------------- Preperiod output COMMAND: B#Brev WITH DEFINITIONS: OPT B = x[0]+x[1]*x[2] OPT Brev = x[0]*x[1]+x[2] PERIOD K (NOT LEAST) K Preperiod Mult 1 0 6 1 4 2 0 8 1 2 3 0 4 1 6 4 0 9 1 1 5 0 10 6 0 6 1 1 2 1 3 2 7 0 3 1 4 2 1 3 1 4 1 8 0 7 1 1 2 1 3 1 9 0 3 1 2 2 2 3 1 5 1 6 1 10 0 3 3 1 11 1 13 1 14 1 15 1 16 1 17 1 11 0 6 3 2 4 1 5 1 12 0 1 13 2 15 1 17 1 18 1 19 1 27 1 30 1 35 1 13 0 1 6 1 7 1 10 1 16 1 19 1 21 1 25 1 27 2 14 0 1 3 1 4 2 6 1 25 1 28 1 29 1 83 1 100 1 15 0 1 11 1 20 1 30 1 40 1 44 1 51 1 54 1 76 1 99 1 16 20 1 38 1 61 1 63 1 66 1 70 1 76 1 80 1 161 1 163 1 17 22 2 31 1 34 1 35 1 38 1 41 1 46 1 58 1 98 1 18 8 1 34 1 48 1 90 1 97 1 105 1 110 1 170 1 386 1 388 1 19 0 1 58 1 77 1 92 1 112 1 120 1 168 1 283 1 300 1 338 1 20 0 1 18 1 214 1 254 1 340 1 453 1 514 1 581 1 682 1 701 1 21 259 1 356 1 483 1 586 1 704 1 711 1 720 1 758 1 1261 1 1511 1 22 22 1 148 1 159 1 269 1 291 1 446 1 484 1 558 1 794 1 865 1 23 219 1 831 1 1215 1 1238 1 1466 1 1470 1 1588 1 2181 1 2329 1 2530 1 24 24 1 529 1 598 1 1021 1 1319 1 1348 1 1744 1 1949 1 2663 1 2738 1 25 2873 1 3130 1 3250 1 3322 1 3556 1 3977 1 4356 1 5525 1 7127 1 8083 1 26 21 1 517 1 670 1 1935 1 3241 1 4434 1 5075 1 6752 1 12198 1 12569 1 27 123 1 328 1 510 1 1041 1 3541 1 4003 1 8836 1 11923 1 12311 1 12715 1 28 6475 1 8822 1 9239 1 9383 1 11253 1 12097 1 13862 1 16204 1 17400 1 19176 1 29 2311 1 6504 1 8424 1 11514 1 13334 1 16720 1 19250 1 19514 1 26773 1 38875 1 30 431 1 2172 1 3261 1 3574 1 9759 1 10641 1 11595 1 12483 1 12797 1 18974 1