[GiNaC-list] normalization ambiguity

[Jonathan Brandmeyer]

On Mon, 2005-10-03 at 14:34 -0400, Jonathan Brandmeyer wrote:
> 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).

At this point all I can say is "sometimes", since it has been observed
to occur even when x compares greater than y.

>   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