User contributions for Polygon
Jump to navigation
Jump to search
5 October 2025
- 15:5515:55, 5 October 2025 diff hist −2,600 User:Polygon/Page for testing →Placeholder: Removed the section
- 15:5415:54, 5 October 2025 diff hist +2,668 N 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 2RB2RA2RD Created page for one of the "potential BB(4,3) champions"
- 15:3415:34, 5 October 2025 diff hist +5 User:Polygon/Page for testing →Placeholder: Fixed link to bbch
- 15:3215:32, 5 October 2025 diff hist −9 BB(3,4) Removed Template:Stub
- 15:3115:31, 5 October 2025 diff hist +132 User talk:Polygon/Page for testing →Comment
- 15:2715:27, 5 October 2025 diff hist +2,595 User:Polygon/Page for testing Added second TM
- 15:0915:09, 5 October 2025 diff hist 0 m User:Polygon/Page for analyses →{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}: Fixed typo
- 13:1313:13, 5 October 2025 diff hist −52 User:Polygon/Page for testing →Analysis by Polygon: Removed rule 29 as it isn't used by the TM
- 13:1113:11, 5 October 2025 diff hist +587 User:Polygon/Page for testing Made the page consistent with current (perhaps previous) BB(4,3) champion
- 11:2611:26, 5 October 2025 diff hist +66 m User:Polygon/Page for testing Made formatting of the arrows (-->) a bit less ugly and avoided math format where unnecessary
- 11:1711:17, 5 October 2025 diff hist +230 User:Polygon/Page for analyses Added short descriptions
- 11:1111:11, 5 October 2025 diff hist −3 m BB(5) →Proving that the 5-state winner is actually the winner: Fixed grammar
- 11:0611:06, 5 October 2025 diff hist +8 User:Polygon/Page for testing Added a word
- 10:5110:51, 5 October 2025 diff hist +1 m User:Polygon/Page for testing Fixed broken format
- 10:5010:50, 5 October 2025 diff hist +90 User:Polygon/Page for testing Added score to the introduction
- 10:4610:46, 5 October 2025 diff hist +285 User:Polygon/Page for testing →Analysis: Added approximate score
- 10:4310:43, 5 October 2025 diff hist −15 User:Polygon/Page for testing Removed trajectory heading
- 10:4210:42, 5 October 2025 diff hist −12 m User:Polygon/Page for testing →Trajectory: Formatting
- 10:4110:41, 5 October 2025 diff hist +1,471 User:Polygon/Page for testing →Analysis: Added trajectory
- 10:2610:26, 5 October 2025 diff hist +1,527 User:Polygon/Page for testing →Analysis: Added translation into functions
- 10:2410:24, 5 October 2025 diff hist +2,038 User:Polygon/Page for testing Added rules
- 10:1010:10, 5 October 2025 diff hist +173 User:Polygon/Page for testing Added introduction for 1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD
- 00:3800:38, 5 October 2025 diff hist −29 User:Polygon/Page for analyses →{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}: No longer work in progress
- 00:3300:33, 5 October 2025 diff hist +139 User:Polygon/Page for analyses →{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}: Completed trajectory
- 00:2000:20, 5 October 2025 diff hist +114 User:Polygon/Page for analyses →Trajectory: Completed trajectory to starting configuration
4 October 2025
- 23:5823:58, 4 October 2025 diff hist +416 User:Polygon/Page for analyses →Trajectory: Extended trajectory
- 23:1723:17, 4 October 2025 diff hist +219 User:Polygon/Page for analyses →Trajectory: Extended trajectory
- 22:2522:25, 4 October 2025 diff hist +289 User:Polygon/Page for analyses →Trajectory: Extended trajectory
- 21:3921:39, 4 October 2025 diff hist +696 User:Polygon/Page for analyses →{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}: Extended trajectory section
- 21:1621:16, 4 October 2025 diff hist +63 User:Polygon/Page for analyses →{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}: Added a new rule
- 21:0621:06, 4 October 2025 diff hist +399 User:Polygon/Page for analyses →Trajectory: Began trajectory
- 20:5220:52, 4 October 2025 diff hist −4 User:Polygon/Page for analyses →Functions: Adjusted last rule
- 20:4620:46, 4 October 2025 diff hist −7 User:Polygon/Page for analyses →Functions: Format of intermediate function
- 20:4220:42, 4 October 2025 diff hist +77 User:Polygon/Page for analyses →Functions: Added intermediate function and fixed some variable mix-ups
- 20:3520:35, 4 October 2025 diff hist −120 User:Polygon/Page for analyses →Functions: Removed starting configuration
- 20:3120:31, 4 October 2025 diff hist −209 User:Polygon/Page for analyses →{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}: Shortened some constructions with rule 6
- 20:1420:14, 4 October 2025 diff hist +14 User:Polygon/Page for analyses Added bbch link to second TM, details --> analysis
- 15:5315:53, 4 October 2025 diff hist +46 User:Polygon/Page for analyses →1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD: Added result to "heading"
- 15:5215:52, 4 October 2025 diff hist +1,602 User:Polygon/Page for analyses →1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD: Explored trajectory of D1(2,0,c)
- 15:3015:30, 4 October 2025 diff hist +2 User:Polygon/Page for analyses →Trajectory: Moved Score Section outside of trajectory section
- 15:2915:29, 4 October 2025 diff hist +35 User:Polygon/Page for analyses →{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}: Added sections
- 15:0515:05, 4 October 2025 diff hist +19 User:Polygon/Page for analyses →Approximate Score: Added a more simplified lower bound
- 14:3914:39, 4 October 2025 diff hist −29 User:Polygon/Page for analyses →1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD: Removed work in progress
- 14:3814:38, 4 October 2025 diff hist 0 User:Polygon/Page for analyses →Approximate Score: Completed update of score section
- 14:2814:28, 4 October 2025 diff hist +17 User:Polygon/Page for analyses →Approximate Score: Updated definitions and f1
- 14:1814:18, 4 October 2025 diff hist +77 User:Polygon/Page for analyses →Trajectory: Completed update of the trajectory section
- 14:0814:08, 4 October 2025 diff hist −201 User:Polygon/Page for analyses →Trajectory: Updated modulus section
- 13:5913:59, 4 October 2025 diff hist −120 User:Polygon/Page for analyses →Trajectory: Some updates and reorganization
- 13:2413:24, 4 October 2025 diff hist +42 User:Polygon/Page for analyses →1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD: Some optical changes
- 12:5812:58, 4 October 2025 diff hist +11 User:Polygon/Page for analyses →1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD: Added missing mention of used rule