Bashicu Matrix Calculator

Checking if (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,1,0) is standard or not. Decreasing sequence from (0,0,0,0)(1,1,1,1) follows. (0,0,0)(1,1,1)(2,2,2) (0,0,0)(1,1,1)(2,2,1) (0,0,0)(1,1,1)(2,2,0) (0,0,0)(1,1,1)(2,1,1) (0,0,0)(1,1,1)(2,1,0) (0,0,0)(1,1,1)(2,0,0)(3,1,1) (0,0,0)(1,1,1)(2,0,0)(3,1,0) (0,0,0)(1,1,1)(2,0,0)(3,0,0) (0,0,0)(1,1,1)(2,0,0)(2,0,0) (0,0,0)(1,1,1)(2,0,0)(1,1,1) (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,2,1) (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,2,0) (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,1,0) Standard. -------------------------------------------- Legend for ordinal: w = omega, e = epsilon, p = Bashicu's psi -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,1,0)[1] G = empty B = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0) Delta = (3,0,0) C = (1,1,1)(1,1,1)(1,0,0)(1,1,0)(1,1,0) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,1,0)[1] G = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0) B = (3,0,0)(4,1,1)(5,0,0)(4,1,0) Delta = (2,0,0) C = (1,1,1)(1,1,1)(1,0,0)(1,1,0) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,1,0)[1] G = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0) B = (5,0,0)(6,1,1)(7,0,0) Delta = (1,0,0) C = (1,1,1)(1,1,1)(1,0,0) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(8,0,0)[1] G = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0) B = (7,1,1) Delta = (0,0,0) C = (1,1,1) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,1)[1] G = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0) B = (6,0,0)(7,1,1) Delta = (1,1,0) C = (1,1,1)(1,1,1) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0)(8,2,1)[1] G = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1) B = (7,1,0) Delta = (1,1,0) C = (1,1,1) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0)(8,2,0)[1] G = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1) B = (7,1,0) Delta = (1,0,0) C = (1,1,1) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0)(8,1,0)[1] G = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0) B = (6,0,0)(7,1,1)(7,1,0) Delta = (2,0,0) C = (1,1,1)(1,1,1)(1,1,0) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0)(8,0,0)(9,1,1)(9,1,0)[1] G = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0) B = (8,0,0)(9,1,1) Delta = (1,0,0) C = (1,1,1)(1,1,1) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0)(8,0,0)(9,1,1)(9,0,0)(10,1,1)[1] G = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0)(8,0,0)(9,1,1) B = (9,0,0) Delta = (1,1,0) C = (1,1,1) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0)(8,0,0)(9,1,1)(9,0,0)(10,1,0)[1] G = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0)(8,0,0)(9,1,1) B = (9,0,0) Delta = (1,0,0) C = (1,1,1) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0)(8,0,0)(9,1,1)(9,0,0)(10,0,0)[1] G = (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0)(8,0,0)(9,1,1) B = (9,0,0) Delta = (0,0,0) C = (1,1,1) f(n) = 1 -------------------------------------------- (0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,1,0)(3,0,0)(4,1,1)(5,0,0)(4,1,0)(5,0,0)(6,1,1)(7,0,0)(6,0,0)(7,1,1)(7,1,0)(8,0,0)(9,1,1)(9,0,0)(9,0,0)[1] Length of sequence exceeds 20 at next step.

Permalink of this result