next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
WeylGroups :: parabolic(WeylGroupDoubleCoset)

parabolic(WeylGroupDoubleCoset) -- the parabolic associated to a double coset

Synopsis

Description

i1 : R=rootSystemA(4)

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

o1 : RootSystem
i2 : P=parabolic(R,set{1,2,4})

o2 = set {1, 2, 4}

o2 : Parabolic
i3 : w=reduce(R,{3,2,4,3})

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

o3 : WeylGroupElement
i4 : d= P % w % P

o4 = WeylGroupDoubleCoset{set {1, 2, 4}, set {1, 2, 4}, WeylGroupElement{RootSystem{...8...}, | 3  |}}
                                                                                              | 1  |
                                                                                              | -3 |
                                                                                              | 1  |

o4 : WeylGroupDoubleCoset
i5 : parabolic(d)

o5 = set {2, 4}

o5 : Parabolic