DiffAlgDistribution -- the class of distributions of vector fields

Functions and methods returning an object of class DiffAlgDistribution :

• dist(List), see dist -- produces a DiffAlgDistribution from a list

Methods that use an object of class DiffAlgDistribution :

• isInvolutive(DiffAlgDistribution), see isInvolutive -- tests if a distribution is involutive
• rank(DiffAlgDistribution) -- rank of the given distribution

For the programmer

The object DiffAlgDistribution is a type, with ancestor classes List < VisibleList < BasicList < Thing.