ABIndexQ

• ABIndexQ[expr] gives True if expr is recognized as a valid abstract-index or a basis-index, and False otherwise.

• These two types of indices are the only types which can be contracted. Other types of indices cannot be contracted and we call them blocked-indices.
• This function is simply a combination of AIndexQ and BIndexQ.
• See: Section 2.1.
• See also: GIndexQ.
• New in version 0.
• Last update: 24-IX-2007 for version 0.9.3 of xTensor`.

Created by Mathematica  (May 16, 2008)