WeylGroupElement * WeylGroupElement -- the product of two elements of a Weyl group

Operator: *
Usage:

w1 * w2
Inputs:
- w1, an instance of the type WeylGroupElement,
- w2, an instance of the type WeylGroupElement,
Outputs:
- an instance of the type WeylGroupElement, the product of w1 and w2

Description

i1 : R=rootSystemC(4)

o1 = RootSystem{...8...}

o1 : RootSystem

i2 : w1=reduce(R,{1})

o2 = WeylGroupElement{RootSystem{...8...}, | -1 |}
                                           |  2 |
                                           |  1 |
                                           |  1 |

o2 : WeylGroupElement

i3 : w2=reduce(R,{2})

o3 = WeylGroupElement{RootSystem{...8...}, |  2 |}
                                           | -1 |
                                           |  2 |
                                           |  1 |

o3 : WeylGroupElement

i4 : w1*w2

o4 = WeylGroupElement{RootSystem{...8...}, | -2 |}
                                           |  1 |
                                           |  2 |
                                           |  1 |

o4 : WeylGroupElement

Ways to use this method:

WeylGroupElement * WeylGroupElement -- the product of two elements of a Weyl group

The source of this document is in WeylGroups.m2:2868:0.