Singular

D.15.12.8 diffAlgebraListGen

Procedure from library `difform.lib` (see difform_lib).

Usage:
diffAlgebraListGen(#); # list

Return:
- a list of generetors of the differential algebra as module over the basering - a list of generators of a graded part of the differential algebra

Remarks:
In order to find all generators, they are counted 'binary': The generators are in 1:1 - correspondance to the dual number representations of 1 up to (2^n-1)

Note:
- if all generators of the differential algebra are needed, apply the procedure without input
- if the generator(s) of a graded part are needed, apply the procedure with an integer which specifies the wanted degree
- the list of generators is sorted with respect to the monomial ordering on the differential algebra

Example:
 ```LIB "difform.lib"; ring R = 11,(x,y,z),dp; diffAlgebra(); ==> // The differential algebra Omega_R was constructed and the differential \ forms dx, dy, dz are available. //////////////////////////////////////////// // Generators of the differential algebra // //////////////////////////////////////////// diffAlgebraListGen(); ==> [1]: ==> 1 ==> ==> [2]: ==> dz ==> ==> [3]: ==> dy ==> ==> [4]: ==> dx ==> ==> [5]: ==> dy*dz ==> ==> [6]: ==> dx*dz ==> ==> [7]: ==> dx*dy ==> ==> [8]: ==> dx*dy*dz ==> ////////////////////////////////////////// // Generators of the second graded part // ////////////////////////////////////////// diffAlgebraListGen(2); ==> [1]: ==> dy*dz ==> ==> [2]: ==> dx*dz ==> ==> [3]: ==> dx*dy ==> kill Omega_R,dx,dy,dz; ```