DiffAlg : Table of Contents

• DiffAlg -- a differential algebra package
• - 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 -- basis of the image of a linear application
• genKer -- basis of the kernel of a linear application
• homogenize(DiffAlgElement) -- homogenize a differential form or vector field
• isInvolutive -- tests if a distribution is involutive
• linearComb -- generic linear combination of elements
• List * DiffAlgForm -- pull-back of a differential form by a list of polynomials
• 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
• net(DiffAlgElement) -- prints a differential form or vector field using the pretty command
• 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
• radial -- defines the radial vector field
• random(DiffAlgElement,Ring) -- replaces the coefficients 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
• toString(DiffAlgElement) -- converts a differential form or vector field to a string