I had completely forgotten this old discussion. Thanks for bringing it up again; I assume that it has not been resolved in the meantime.
[I do not promise to be consistent today with anything I have said before on the subject.] Consistency with existing code and with Magma et al is surely important. That would suggest that f.content() should return an element whenever the content ideal is principal, as over Z. If the ideal is not principal an error would be raised but not before outputting a helpful suggestion to the user to use "ideal=True" or to use f.content_ideal(), whichever we decide. John On 17 May 2016 at 16:09, Johan S. R. Nielsen <[email protected]> wrote: >> 3. Make `content` always return an element, create a method ` >> content_ideal` to return an ideal, and implement `content` only over >> PIDs. > > I vote 3 as well. It limits confusion when coming from other systems > while not really being confusing for new-CAS users. > >> A. What kind of deprecation should be implemented? > I have no opinion on that. > >> B. What should the content (element) over QQ (or other fraction fields) be? >> Of course, 1 is a possible answer, but note that gcd(2/3, 4/5) = 2/15 for >> instance. So another possible answer is `gcd(pol.coefficients())`. > > Since gcd(pol.coefficients()) could potentially be useful while 1 is > never useful, I vote for that :-) > > Best, > Johan > > -- > 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 https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
