hey, that is because there is no such method called "is_totally_unimodular". The correct command is just "totally_unimodular". If you are not sure weather or not you have the right command name, polymake does support tab completion. Typing "is_" and hitting tab you will...