[GiNaC-list] Parse error involving factorial symbol

Roberto Bagnara bagnara at cs.unipr.it
Fri May 14 15:08:09 CEST 2021

On 5/14/21 9:52 AM, Vladimir V. Kisil wrote:
> 	Dear Roberto!
> 	It seems that Ginsh and parser in GiNaC are implemented
>    differently. Ginsh understands postfix factorial notation like "3!"
>    but GiNaC parser is not. GiNaC parser is still happy with "factorial(3)".
>    Best wishes,
>    Vladimir

Thanks Vladimir!  But please help me understand: I did not change
anything in the part of the code invoking the GiNaC parser, and
I did not change the tests.  So the situation you are describing,
i.e., GiNaC parser not understanding postfix factorial notation,
is something that changed from, say, 10 years ago.
In other words, do you agree that, say, 10 years ago,
the GiNaC parser was accepting that notation?

Sorry if I am off-track.
Thanks a lot,


Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematical, Physical and Computer Sciences
University of Parma, Italy
mailto:bagnara at cs.unipr.it

More information about the GiNaC-list mailing list