HAPDerivation(R,I,L):: PolynomialRing, List, List --> Derivation

Inputs a polynomial ring R=\mathbb F[x_1,\ldots,x_m] over a field \mathbb F together with a list I of generators for an ideal in R and a list L=[y_1,\ldots,y_m]\subset R. It returns the derivation d\colon E \rightarrow E for E=R/I defined by d(x_i)=y_i.

This function was written by Paul Smith. It uses the Singular commutative algebra package.