There's something wrong with comparison operators for elements of QuaternionAlgebras defined over a number field. Here's a simple example, where first it gives the wrong answer and then, after doing some arithmetic with the elements, a mix of right and wrong answers:
sage: K = NumberField(x**3 + x - 1, 'a') sage: D.<i,j,k> = QuaternionAlgebra(K, -1, -3) sage: x = (i + j)/K(2) sage: z = (-1 + (i + j) + k)/K(2) - x sage: w = i * x sage: w, z (-1/2 + 1/2*k, -1/2 + 1/2*k) sage: w == z False sage: z == w False sage: z - w 0 sage: z == w, w == w, z-w == 0 (True, True, False) I looked in trac, but I didn't see this. Is this issue already known, and, if so, is there a simple work-around? Thanks, Nathan -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
