[GiNaC-list] Parse error involving factorial symbol

[Richard B. Kreckel]

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,
  -richy.
-- 

Richard B. Kreckel

<https://in.terlu.de/~kreckel/>