D.15.2.31 derivationCheckList

Usage:

derivationCheckList(L); L list

Remarks:

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

Note:

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 occur 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