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.2.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.


Top Back: diffAlgebraGens Forward: diffAlgebraChangeOrd FastBack: FastForward: Up: difform_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2, 2023, generated by texi2html.