[Bug 483450] Review Request: ginac - C++ library for symbolic calculations