Le jeudi 5 janvier 2017 16:32:55 UTC+1, Dima Pasechnik a écrit : > > > we can work modulo the ideal generated by w^2+z and w'^2+z', sure, why not? >
What I meant is that, suppose you start with the ring modulo the ideal generated by w^2+z and at some point in the work flow, you decide to introduce a new square root, then you have to change the base ring to that modulo the ideal generated by (w^2+z, w'^2+z'). Maybe this is feasible, but it looks quite heavy at first glance: changing the base ring each time you introduce an object that is not polynomial... -- 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.
