For operators a and b (as for polynomials, see quo) there exist operators  and  such that  and . The output rightdivision is the list .

The procedure leftdivision does precisely the same, only the order of multiplication   is reversed:  .

The argument domain describes the differential algebra. If this argument is the list  then the differential operators are notated with the symbols  and . They are viewed as elements of the differential algebra   where  is the field of constants.

If the argument domain is omitted then the differential specified by the environment variable _Envdiffopdomain will be used. If this environment variable is not set then the argument domain may not be omitted.

These functions are part of the DEtools package, and so they can be used in the form rightdivision(..) and leftdivision(..) only after executing the command with(DEtools).  However, they can always be accessed through the long form of the command by using DEtools[rightdivision](..) or DEtools[leftdivision](..).