CanonicalOne.mws

Function: Canon[CanonicalOne] - Canonicalizes one single tensor

Calling Sequence:
CanonicalOne(tensor, symmetries, base);

Parameters:
tensor - a single tensor

symmetries - a strong set of permutations representing the symmetries of the tensor

base - base for the strong set .

Description:

Examples:

> with(Canon):

> CanonicalOne(R[b,c,a,d],{[-1,[[3,4]]],[[1,3],[2,4]]},[1,3]);

-R*``^a*``^d*``^c*``^b

> CanonicalOne(A[-b,a],{[-1,[[1,2]]]},[1]);

-A*` `^a*``[b]

See Also: CanonDefine , CanonPrint , CanonUnPrint , Canonical