next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
WeylGroups :: reflection(RootSystem,Root)

reflection(RootSystem,Root) -- the reflection with respect to a root

Synopsis

Description

i1 : R=rootSystemE(8)

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

o1 : RootSystem
i2 : r=addRoots(R,simpleRoot(R,1),simpleRoot(R,3))

o2 = | 1  |
     | 0  |
     | 1  |
     | -1 |
     | 0  |
     | 0  |
     | 0  |
     | 0  |

o2 : Root
i3 : reflection(R,r)

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

o3 : WeylGroupElement