|  |  D.15.12.4 diffAlgebraUnivDerIdeal Procedure from librarydifform.lib(see  difform_lib).
 
See also:
 diffAlgebra;
 diffAlgebraGens;
 diffAlgebraStructure.Usage:
diffAlgebraUnivDerIdeal(I); I ideal
Assume:
current basering is the differential algebra of a polynomial ring
and I is lifted from the polynomial ring
Return:
the image of I under the universal derivation
Remark:
The procedure computes the universal derivation of every generator of the ideal.
Note:
for differential forms use the procedure difformUnivDer or difformDiff
 
 |