DownIndexQ

• DownIndexQ[expr] gives True if expr is recognized as a valid covariant index of any type, and False otherwise.

• DownIndexQ gives False on patterns.
• See: Section 2.1.
• See also: UpIndexQ.
• New in version 0.
• Last update: 24-IX-2007 for version 0.9.3 of xTensor`.

Created by Mathematica  (May 16, 2008)