Hello,
this is something which actually came up quite some time ago, but I seem to have forgotten it until now:
The callable library automatically prints out a banner of every external library it uses, upon the first time you are using it. However, there is no way of obtaining a polymake banner (including a version number).
Could you please either change the callable library, so that it prints out a polymake banner, when it is initialized, or at least provide a function which allows you to print out a polymake banner?
