I think that the general way to go would be to compute a groebner basis of the ideal we are quotienting by, and then always reduce by this GB. If i am not mistaken, that is the way that quotients of multivariate polynomial rings are implemented.
There could be some rings over which we have no groebner basis algorithm... but i think in those cases there is simply no way to work with the quotient properly. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
