Hello, I would like to define a function d from polynomial ring to itself (in the easiest case) that is linear over the base ring and fulfills the Leibniz rule, i.e. for all p,q in the Polynomial ring I want that d(p*q) = d(p)*q + p*d(q). I would like to do this by specifying the image of the generator of the polynomial ring.
How can this be achieved? What I found is the "hom" method of the Polynomial ring, but using this method, ring homomorphisms are created. What I want is a derivation instead, i.e. multiplication must be defined differently. Is there already such a functionality in SAGE? If not, my idea would be to create a method "der", similar to "hom", but with multiplication defined differently. Would this be a good approach? If so, could someone give me some hints where to look for in the source? Best regards, Oliver PS: There was a similar question on this list posed by Scott on Feb. 7, 2011, but there is no answer until now. -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
