Home Online Manual
Top
Back: diffAlgebraGens
Forward: diffAlgebraChangeOrd
FastBack:
FastForward:
Up: difform_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.12.4 diffAlgebraUnivDerIdeal

Procedure from library difform.lib (see difform_lib).

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

See also: diffAlgebra; diffAlgebraGens; diffAlgebraStructure.