IO format now includes lex or revlex ordering explicitly. It still doesn't do anything yet.
Merge branch 'master' of https://github.com/broune/mathicgb