Function: Canon[Canonical] - Canonicalizes a tensor expression
Calling Sequence:
Canonical(tensor expression);
Parameters:
tensor expression - a tensor expression
> with(Canon):
> CanonDefine(T,2,{[-1,[[1,2]]]});
> Canonical(T[a,-b]*T[b,-c]);
> CanonDefine(R,4,{[-1,[[1,2]]],[[1,3],[2,4]]});
> Canonical(R[-e,n,m,b]*R[-b,-c,a,d]*R[-d,c,-a,e]);
> expr := CanonPrint(R[a,b,c,d]*R[e,f,k,h]*R[i,-a,-j,-e]*R[-b,-c,-d,-i]*R[-f,-k,-h,j]);
> Canonical(expr);
See Also: CanonDefine , CanonPrint , CanonUnPrint , CanonicalOne , Canon