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, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematical, Physical and Computer Sciences University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it