Searching for non-order-preserving braids algorithmically

Jonathan Johnson, Nancy Scherich, Hannah Turner

An $n$-strand braid is order-preserving if its action on the free group $F_n$ preserves some bi-order of $F_n$. A braid $\beta$ is order-preserving if and only if the link $L$ obtained…