[GiNaC-list] Parse error involving factorial symbol

Richard B. Kreckel kreckel at in.terlu.de
Sat May 15 22:31:07 CEST 2021

Dear Roberto,

On 14.05.21 22:36, Roberto Bagnara wrote:
> simplification for output of
> -1+1/12*sqrt(sqrt(3)*sqrt(12))*sqrt(12)+1/12*sqrt(-sqrt(3)*sqrt(12))*sqrt(12)
> was expected to be -1+(1/2+1/2*I)*sqrt(2)
> but resulted in -1+(1/2+1/2*I)*4^(1/4)
> From what you write I gather that back in 2008, or even before,
> we obtained sqrt(2) where we now obtain 4^(1/4).

What exactly are you doing when you say "simplification"?

And did GiNaC really return that result in 2008? I tried historic
versions of ginsh and I see that expand() really rewrites this term, but
only after GiNaC 1.6.3. Versions 1.3.8 (released 2007) until 1.6.2
(released 2011) return it unmodified.

All my best,

Richard B. Kreckel


More information about the GiNaC-list mailing list