PIndexQ

• PIndexQ[expr] gives True if expr is a valid pattern for an index: _, _h, a_h, a_h?Q where a must be a valid abstract index and h must be one of Symbol, Dir, LI, List, Blank, Pattern, PatternTest. A minus sign in front is accepted. Patterns of the form {i, basis} are accepted if PIndexQ[i]. Other kinds of pattern, in particular Condition, are not accepted.

• Patterns are not accepted in GIndexQ.
• See: Section 2.6.
• See also: PatternIndex.
• New in version 0.
• Last update: 24-IX-2007 for version 0.9.3 of xTensor`.

Created by Mathematica  (May 16, 2008)