Canonical.mws

Function: Canon[Canonical] - Canonicalizes a tensor expression

Calling Sequence:
Canonical(tensor expression);

Parameters:
tensor expression - a tensor expression

Description:

Examples:

> with(Canon):

> CanonDefine(T,2,{[-1,[[1,2]]]});

> Canonical(T[a,-b]*T[b,-c]);

-T*``^a*``^b*T*``[c]*``[b]

> CanonDefine(R,4,{[-1,[[1,2]]],[[1,3],[2,4]]});

CanonSymmetryTable[R,4][0] = {[[1, 3], [2, 4]], [-1...

> Canonical(R[-e,n,m,b]*R[-b,-c,a,d]*R[-d,c,-a,e]);

-R*``^m*``^a*``^n*``^b*R*``[a]*``^c*``^d*``^e*R*``[...

> 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]);

expr := R*``^a*``^b*``^c*``^d*R*``^e*``^f*``^k*``^h...

> Canonical(expr);

0

See Also: CanonDefine , CanonPrint , CanonUnPrint , CanonicalOne , Canon