A total order on simplicial complexes
github.com/mikolalysenko/oriented-simplicial-complex-compare
mikolalysenko/oriented-simplicial-complex-compare