DiffAlgElement -- the class of all differential forms and vector fields

Types of DiffAlgElement :

• DiffAlgField -- the class of all vector fields
• DiffAlgForm -- the class of all differential forms

Functions and methods returning an object of class DiffAlgElement :

• - DiffAlgElement -- negation of a differential form or vector field
• DiffAlgElement * QQ -- see DiffAlgElement * RingElement -- scalar multiplication
• DiffAlgElement * RingElement -- scalar multiplication
• DiffAlgElement * ZZ -- see DiffAlgElement * RingElement -- scalar multiplication
• QQ * DiffAlgElement -- see DiffAlgElement * RingElement -- scalar multiplication
• RingElement * DiffAlgElement -- see DiffAlgElement * RingElement -- scalar multiplication
• ZZ * DiffAlgElement -- see DiffAlgElement * RingElement -- scalar multiplication
• DiffAlgElement + DiffAlgElement -- addition
• DiffAlgElement - DiffAlgElement -- subtraction
• DiffAlgElement / QQ -- see DiffAlgElement / RingElement -- scalar division
• DiffAlgElement / RingElement -- scalar division
• DiffAlgElement / ZZ -- see DiffAlgElement / RingElement -- scalar division
• homogenize(DiffAlgElement) -- homogenize a differential form or vector field
• linearComb(List,String) -- see linearComb -- generic linear combination of elements
• projectivize(DiffAlgElement) -- see projectivize -- projectivize a differential form or vector field
• random(DiffAlgElement) -- see random(DiffAlgElement,Ring) -- replaces the variables of the coefficient ring of a differential form or a vector field with random values
• random(DiffAlgElement,Ring) -- replaces the variables of the coefficient ring of a differential form or a vector field with random values

Methods that use an object of class DiffAlgElement :

• degree(DiffAlgElement) -- degree of a differential form or a vector field
• DiffAlgElement | String -- concatenate a string with a differential form or vector field
• String | DiffAlgElement -- see DiffAlgElement | String -- concatenate a string with a differential form or vector field
• genIm(DiffAlgElement,DiffAlgElement) -- see genIm -- a basis of the image of a linear expression
• genKer(DiffAlgElement,DiffAlgElement) -- see genKer -- basis of the kernel of a linear expression
• isHomogeneous(DiffAlgElement) -- tests if a form (or field) is homogeneous
• moduliIdeal(DiffAlgElement) -- see moduliIdeal -- ideal generated by the coefficients of a differential form or vector field
• ring(DiffAlgElement) -- ring of the differential form or vector field
• singularIdeal(DiffAlgElement) -- see singularIdeal -- ideal generated by the polynomial coefficients of a differential form or vector field
• substitute(DiffAlgElement,Ring) -- gets the RingElement of a differential form or vector field in a ring

For the programmer

The object DiffAlgElement is a type, with ancestor classes HashTable < Thing.