On 5-Dec-08, at 10:57 AM, daveloeffler wrote:

>
> I think you've uncovered a bug that had been masked by the is_one bug.
> If I'm not mistaken, I^-1 calls MultiplicativeGroupElement.__invert__,
> which tests whether self is one and if not returns 1/self. Obligingly,
> the coercion model (being asked to calculate 1/self) calls __invert__
> again!
>
> (I convinced myself of this by making is_one print a warning every
> time it is called. Then running your example code prints the warning
> over and over again, until the maximum recursion depth is exceeded and
> a segfault is raised.)

I ran this in gdb and can verify the infinite loop in the coercion code.

Nick

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to