Macaulay2 » Documentation
Packages » DiffAlg :: Table of Contents
next | previous | forward | backward | up | index | toc

# 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