Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language