answered 5 years ago
Like this
sage: A3 = WeylCharacterRing("A3",style="coroots") sage: z = A3(1,1,1) sage: A3(2*z.highest_weight()) A3(2,2,2)