[GiNaC-list] GiNaC Match Documentation