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

D.15.2.2 diffAlgebraStructure

Procedure from library difform.lib (see difform_lib).

Usage:
diffAlgebraStructure();

Return:
the structure of the differential algebra

Remarks:
The differential algebra is constructed as non-commutative ring with additional variables Dx_1,...,Dx_n and 'exterior' relations between them. In the case, that the basering is a quotient ring, the defining ideal and its image under the universal derivation are added as relations.

Note:
the monomial ordering of the basering is preserved in the differential algebra

See also: diffAlgebra; diffAlgebraGens; diffAlgebraUnivDerIdeal.


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