- corrected meaning of "GiNaC" acronym