Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
new: added print of polymake banner upon loading of polymake.so
banner is still hardcoded, opened a feature request in the polymake forums that enables you to get your hands on a custom banner, depending on the version of polymake installed on your system.
- Loading branch information