[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