GiNaC with GUI