How to use GiNaC

"How to use GiNaC" is not written yet.