Validate

• Validate[expr] checks that the tensorial expression expr 1) does not have unknown heads, 2) does not have objects with invalid index structure, 3) does have homogeneous free indices, and 4) does not have repeated indices.

• Validate has attribute HoldFirst.
• It works by detecting recursively the types of subexpressions and calling private functions ValidateTensor, ValidateCovD, etc.
• Validate calls the private function UncatchedValidate, which actually does the job, but does not have a wrapping Catch.
• See: Section 5.7.
• See also: ValidateSymbol, ERROR.
• New in version 0.
• Last update: 26-X-2007 for version 0.9.3 of xTensor`.

Created by Mathematica  (May 16, 2008)