next | previous | forward | backward | up | top | index | toc | Macaulay2 website
WeylGroups :: reflect(RootSystem,BasicList,Root)

reflect(RootSystem,BasicList,Root) -- apply to a root several reflections with respect to simple roots

Synopsis

Description

i1 : R = rootSystemB(4)

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

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

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

o2 : Root
i3 : reflect(R,{1,2,3,4},r)

o3 = |  1 |
     |  0 |
     | -1 |
     |  2 |

o3 : Root