FUNCTION: LieTools/ChevalleyAA
USAGE: ChevelleyAA(upoly)
SYNOPSIS: ChevelleyAA(upoly) returns the image of upoly in U(g) under the Chevalley 
  anti-automorphism of U(g): the involutive anti-automorphism of U(g) that reduces
  to the identity on the (fixed) Cartan subalgebra of g.
CAVEATS: requires a previously initialized global Lie algebra environment.
  (See LieTools[gSetup].)
EXAMPLE: 
LieTools[gSetup](A,2);Setting up Gtype = A   rnk = 2
> upoly := u(g[1],g[2],g[6])+2*u(g[4]);

               upoly := u(g[1], g[2], g[6]) + 2 u(g[4])

> LieTools[ChevalleyAA](upoly);

                   2 u(g[4]) + u(g[3], g[7], g[8])



SEE ALSO: 
