clone from https://www.ginac.de/ginac.git/ - View it on GitHub