[GiNaC-list] unevaluated add in the result of imag_form()

Burcin Erocal burcin at erocal.org
Sat Sep 25 22:45:08 CEST 2010


On Thu, 23 Sep 2010 01:06:30 +0200
"Richard B. Kreckel" <kreckel at ginac.de> wrote:

> Richard B. Kreckel wrote:
> > Burcin Erocal wrote:
> >> Note that the second argument of atan2 is an add object in a rather
> >> unusual form: 48+4*(-22)
> >>
> >> Is this intended behavior?
> > 
> > Definitely not. A simpler case exhibiting the same problem is 
> > real_part(1+2*(sqrt(2)+1)*(sqrt(2)-1)).
> > 
> > It seems to me that add::eval() is a little bit too simple-minded: 
> > add::real_part() returns an add with overall_coeff 1 and an expair
> > with rest 1 and coeff 2, i.e. 1+2*1, but there is no case in
> > add::eval() to take care of this.
> 
> I've pushed a patch to the repository.
> Thanks a lot for reporting this.

Thank you Richard. I was able to apply your patch to pynac with minor
changes.

Best,
Burcin


More information about the GiNaC-list mailing list