At least its installation directory needs to be in the $PATH, as polymake can be installed anywhere, and searching the path is the only standard way to detect installed software. If it is, calling polymake --version or polymake-config --version should work. You can also check for some standard insta...