Hi Stefan,

On 2013-08-29, Stefan <stefanvanz...@gmail.com> wrote:
> Actually, this is not quite true. reduce() is, by default, called 
> automatically for elements of exact rings at creation time. It will 
> correctly get rid of common factors, but it does not normalize the leading 
> coefficients:

Bad. But of course, it is all only defined up to units.

>> I'd rather have a slow hash than a totally broken hash.
>>
>
> Meh. I still want to do this billions of times. 

Well, with a broken hash, it would work wrong billions of times.

> Actually, this does not hold in my example (with the polynomial ring 
> defined above):
>
> sage: cmp((c+1)^2, c^2 + 2*c+1)
> 0

It is a totally different problem. My example was about symbolic variables,
which is a totally different story, even though on the surface it seems
to be almost the same as your original example ("we have two equal elements
a and b of a ring, but Sage does not recognise that a is in set([b])").

Best regards,
Simon

-- 
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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to