Collatz Sequence - Real Values and Theoretical Partition Visualization
Start Number:
Generate and Visualize
Node Spacing:
60px
Log Base:
2
Sequence Connection (Real Values)
R0 Operation (n/2)
R1 Operation (3n+1)
Macrostep Boundary (mod6=2)
Chain Record Boundary (Coq `chains`)
0
Sequence Length
0
R0 Operations
0
R1 Operations
0
R0 Net Advantage
0
Macrosteps
0
Chain Records (Coq `chains`)
0
Peak Value
Macrostep Analysis (mod6=2 Orbit)
Chain Record Analysis (Coq theorem `chains`)