Home Online Manual
Back: derivationFromList
Forward: derivationFromPoly
Up: difform_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.12.33 derivationCheckList

Procedure from library difform.lib (see difform_lib).

derivationCheckList(L); L list

The procedure checks if a given list has the right form for a derivation and throws an error if this is not the case. In particular: - Only degree-1 generators are allowed in L[1] - this is checked via difformIsGen - Any degree-1 generator must occur once - this is checked via difformListCont

like in derivationFromList, the structure of L must follow the rules: - L[1] is a list of all degree-1 generators: all dx_i must occure once and no other differential forms are allowed. The order of the list is not important - L[2] is the list of images of the dx_i: these must be polynomials

See also: derivationFromList; difformIsGen; difformListCont.