On Mon, Oct 16, 2017 at 7:35 PM, 'Martin R. Albrecht' via sage-devel <sage-devel@googlegroups.com> wrote: > Hi there, > > this is already documented: > > “ Return the normal form of self w.r.t. "I", i.e. return the > remainder of this polynomial with respect to the polynomials in > "I". If the polynomial set/list "I" is not a (strong) Groebner > basis the result is not canonical. > ”
Can you tell from this documentation what the function will compute prior to running it? I can't. I agree with Daniel: this function does something useful and sensible when I is an ideal, so it shouldn't be underscored. But I have no idea of what it does when I is a list, except give an undefined result congruent to self modulo the ideal generated by I. So I again agree with Daniel: if we can figure out what this function does, we should document it better. And I would go as far as adding that if we can't figure it out, we should forbid list input. Luca -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
