Need to check GiNaC to provide algebraic manipulation to my software

Found “GiNaC is Not a CAS“, a symbolic algebra manipulation system. Through swiginac it will be possible to use it from Python. The only concern is that may be an overkill.