[GiNaC-list] normalization ambiguity
Jonathan Brandmeyer
jbrandmeyer at earthlink.net
Mon Oct 3 20:34:08 CEST 2005
I recently discovered that expressions like pow(x - y, 2) can normalize
to pow(y - x, 2) if y compares less than x (according to the ex_is_less
comparator). Is this behavior deliberate? A particular test in the
test suite (check/exam_normalization.cpp) normally only passes when
pow(x - y, 2).normal() == pow(x-y, 2).
Thanks,
-Jonathan
More information about the GiNaC-list
mailing list