> Can you tell from this documentation what the function will compute > prior to running it? I can't. >
It takes I as the generators of the ideal and uses that as the reduction set. > > 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. > > What it does is probably do the reduction using the list in reverse order for this case. As previously mentioned, because it is not a Gröbner basis, there is no guarantee of a canonical result. So IMO it does what the documentation says it does. Best, Travis -- 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.
