The function call Tail(p,v,R) returns the tail of p regarded as a univariate polynomial in v, that is the differential polynomial p, regarded as a univariate polynomial in v, minus its leading monomial with respect to this variable, If p does not depend on v then the function call returns .

The function call Tail(L,v,R) returns the list or the set of the tails of the elements of L with respect to v.

If ideal is a regular differential chain, the function call Tail(ideal,v) returns the list of the tails of the chain elements. If ideal is a list of regular differential chains, the function call Tail(ideal,v) returns a list of lists of tails.

When the parameter v is omitted, it is understood to be the leading derivative of the processed differential polynomial with respect to the ranking of R, or the one of its embedding polynomial ring, if R is an ideal. In that case, p must be non-numeric.

This command is part of the DifferentialAlgebra:-Tools package. It can be called using the form Tail(...) after executing the command with(DifferentialAlgebra:-Tools). It can also be directly called using the form DifferentialAlgebra[Tools][Tail](...).

The opts arguments may contain one or more of the options below.

fullset = boolean. In the case of the function call Tail(ideal,v), applies the function also over the differential polynomials which state that the derivatives of the parameters are zero. Default value is false.

notation = jet, tjet, diff or Diff. Specifies the notation used for the result of the function call. If not specified, the notation of the first argument is used.

memout = nonnegative. Specifies a memory limit, in MB, for the computation. Default is zero (no memory out).