complex conjugation

Jens Vollinga vollinga at
Sat Dec 20 00:24:29 CET 2003


On Fri, Dec 19, 2003 at 08:05:26PM +0100, chrisd at wrote:
> On Thu, 18 Dec 2003, Richard B. Kreckel wrote:
> > On Thu, 18 Dec 2003, Jens Vollinga wrote:
> > [...]
> > > Only harmonic and multiple polylogs take some knowledge to conjugate,
> > > the other polylogs could use the default behaviour. Harmonic polylogs
> > > can be evaluated everywhere now, so they would need the knowledge of how
> > > to cconj themselves.
> >
> > Now I'm confused.  Aren't those harmonic and multiple polylogs analytic?
> Me confused too.

I was confused. But now I am not confused anymore.
Of course it is analytic and that`s it.
What confused me is a bug in the 1/x transformation of the
harmonic function in CVS HEAD. It gives wrong results for arguments
with positive imaginary part in some cases. I have to debug that.
It is probably a good idea to integrate this cconj into the checks and
exams of the polylogs ... ;-)

Concerning the substitution of cconj(x) with x, if x is a symbol known
to be real, I agree with you. It looks like a waste of time.


More information about the GiNaC-devel mailing list