isVexillary w
A permutation $p$ is Cartwright-Sturmfels if it avoids.
i1 : p = permutation {3,1,2,5,4} o1 = Permutation{3, 1, 2, 5, 4} o1 : Permutation
i2 : isCartwrightSturmfels p o2 = true
The object isCartwrightSturmfels is a method function.