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

D.15.12.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.