Hello again, > Many thanks for the commments, I will try to implement > them. Meanwhile, here is another small proposition: to allow GiNaC > the rewriting rule of exponents: > > (x^c1)^c2 -> x^(c1 * c2) I've committed this patch (with a minor adjustment). Best regards, Alexei