DiffAlg : Table of Contents

• DiffAlg -- differential algebra
• - DiffAlgElement -- negation of a differential form or vector field
• degree(DiffAlgElement) -- degree of a differential form or a vector field
• diff(DiffAlgForm) -- exterior differential
• DiffAlgDistribution -- the class of distributions of vector fields
• DiffAlgElement -- the class of all differential forms and vector fields
• DiffAlgElement * RingElement -- scalar multiplication
• DiffAlgElement + DiffAlgElement -- addition
• DiffAlgElement - DiffAlgElement -- subtraction
• DiffAlgElement / RingElement -- scalar division
• DiffAlgElement | String -- concatenate a string with a differential form or vector field
• DiffAlgField -- the class of all vector fields
• DiffAlgField _ DiffAlgForm -- contraction of a differential form with respect to a vector field
• DiffAlgField | DiffAlgField -- Lie bracket
• DiffAlgForm -- the class of all differential forms
• DiffAlgForm ^ DiffAlgForm -- exterior product
• dist -- produces a DiffAlgDistribution from a list
• genIm -- a basis of the image of a linear expression
• genKer -- basis of the kernel of a linear expression
• homogenize(DiffAlgElement) -- homogenize a differential form or vector field
• isHomogeneous(DiffAlgElement) -- tests if a form (or field) is homogeneous
• isInvolutive -- tests if a distribution is involutive
• linearComb -- generic linear combination of elements
• List * DiffAlgForm -- pull-back of a differential form by a rational map
• logarithmicForm -- creates a logarithmic form
• logarithmicForm(...,Projective=>...) -- a boolean option to produce a projective logarithmic form
• moduliIdeal -- ideal generated by the coefficients of a differential form or vector field
• newField -- constructor of a vector field
• newField(String) -- constructor of a vector field
• newForm -- constructor of a differential form
• newForm(String) -- constructor of a differential form
• projectivize -- projectivize a differential form or vector field
• radial -- defines the radial vector field
• random(DiffAlgElement,Ring) -- replaces the variables of the coefficient ring of a differential form or a vector field with random values
• rank(DiffAlgDistribution) -- rank of the given distribution
• ring(DiffAlgElement) -- ring of the differential form or vector field
• 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