order: add rev_* orders - #473

order: add rev_* orders#473

james-d-mitchell merged 3 commits into

libsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

james-d-mitchell:rev-ordersjames-d-mitchell/libsemigroups_pybind11:rev-ordersCopy head branch name to clipboard