/libraries/ginac/