IsIndexOf

IsIndexOf[object, index] gives True if (verbatim) index is one of the indices of object, and False otherwise.
IsIndexOf[object, index, tensor] gives False if object is an inert-head and tensor (a metric, a projector or delta) cannot be contracted through the inert-head (see ContractThrough), and gives IsIndexOf[object, index] otherwise.

IsIndexOf works recursively in expr.
• Indices in expressions with free ultraindices and indices in Scalar expressions or scalar-functions are not found.
• See: Section 2.7.
• See also: FindIndices, ContractThrough.
• New in version 0.
• Last update: 24-IX-2007 for version 0.9.3 of xTensor`.


Created by Mathematica  (May 16, 2008) Valid XHTML 1.1!