next | previous | forward | backward | up | top | index | toc | Macaulay2 website
WeylGroups :: poincareSeries(RootSystem,Parabolic,RingElement)

poincareSeries(RootSystem,Parabolic,RingElement) -- the generating series of a quotient of the Weyl group by length

Synopsis

Description

i1 : R=rootSystemA(3)

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

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

o2 = set {1, 2}

o2 : Parabolic
i3 : ZZ[x]

o3 = ZZ[x]

o3 : PolynomialRing
i4 : poincareSeries(R,P,x)

      3    2
o4 = x  + x  + x + 1

o4 : ZZ[x]