Displaying similar documents to “The combinatorics of Macdonald's D n 1 operator.”

Generalized Induction of Kazhdan-Lusztig cells

Jérémie Guilhot (2009)

Annales de l’institut Fourier

Similarity:

Following Lusztig, we consider a Coxeter group W together with a weight function. Geck showed that the Kazhdan-Lusztig cells of W are compatible with parabolic subgroups. In this paper, we generalize this argument to some subsets of W which may not be parabolic subgroups. We obtain two applications: we show that under specific technical conditions on the parameters, the cells of certain parabolic subgroups of W are cells in the whole group, and we decompose the affine Weyl group of type...

Formulation of Cell Petri Nets

Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama (2013)

Formalized Mathematics

Similarity:

Based on the Petri net definitions and theorems already formalized in the Mizar article [13], in this article we were able to formalize the definition of cell Petri nets. It is based on [12]. Colored Petri net has already been defined in [11]. In addition, the conditions of the firing rule and the colored set to this definition, that defines the cell Petri nets are further extended to CPNT.i further. The synthesis of two Petri nets was introduced in [11] and in this work the definition...