On Thursday 17 May 2007 14:00, Michel wrote: > What do you mean by "working on reduce". Reduce is just a call > to gcd which then calls singular (over appropriate fields).
Hmm, I didn't look at the particular code in question. Perhaps I'm speaking non-sense. My comments stemmed from my experience with a fraction field over a polynomial ring with base a cyclotomic base field. It was a while ago (and maybe something has changed). > By "comparison" do you mean testing for equality? I don't think > you need reduce for that (just did a test in a polynomial ring over a > number field > where there is no reduce). Yes, I mean equality. I guess you could check equality by cross-multiplication, but it would seem nice to just be able to compare the numerator and denominator (which you can if both are reduced). -- Joel --~--~---------~--~----~------------~-------~--~----~ 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://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---