Re: [GiNaC-list] print_csrc, print_csrc_double... how to use?