%mathpiper,def="TExplicitSum"

/* Tensor package. This code intends to simplify tensorial expressions.
 */

/* TExplicitSum sets the dimension of the space under consideration,
   so summation can proceed */
(TExplicitSum(Ndim_IsInteger)(_body)) <-- Eval(body);

%/mathpiper