Re: [GiNaC-devel] Revised patch: Power transformation for real base and positive exponent