Ok, I have finally looked at the comparison functions and exchanging : cmpval = seq[0].coeff.compare(other.exponent); by cmpval = -seq[0].coeff.compare(other.exponent); in mul::compare_pow (mul.cpp:1265) seems to prevent the above bug from happening. It seems to fit better with the change made by William Stein in power::compare_same_type (power.cpp:951). However it doesn't mean the problem is completely solved... I'll try to take a deeper look at the comparison functions at some point.
By the way I opened another thread on sage-devel: http://groups.google.com/group/sage-devel/browse_thread/thread/41e3f276cdf8d08d# Regards. On 13 sep, 16:35, kcrisman <kcris...@gmail.com> wrote: > > When we move to new code in sage/symbolic/summation/* (which is not in > > the library yet), things will be much cleaner. > > Can you give a ticket # for this? I would be interested in looking at > this. > > - kcrisman -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
