As you know Pynac provides symbolic computation. In earlier times this included polynomial manipulation and other things where Sage has now dedicated and consistent algebraic structures. Pynac nowaday is mostly calculus. For this reason, and because I'm tired of trying to fix things that belong in other parts of Sage I propose to make it an error to mix elements of rings with positive characteristics (or symbolic Mod) and symbolic variables.
The error could also hint at a solution using the resp. polynomial rings. I don't think there is much interest in the mentioned feature atm, because the present behaviour IS already buggy, and no one complained. But maybe I'm completely wrong, please state your opinion. Regards, -- 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.
