This is the Atlas of Reductive Lie Groups Software Package version 0.2.3. Enter "help" if you need assistance. empty: type Lie type: A1 ad s main: block (weak) real forms are: 0: su(2) 1: sl(2,R) enter your choice: 1 possible (weak) dual real forms are: 0: su(2) 1: sl(2,R) enter your choice: 1 Name an output file (hit return for stdout): 0(0,2): 0 0 [i2] 0 (1,2) 1(1,0): 1 1 [r2] 2 (0,*) 1 2(1,1): 1 1 [r2] 1 (0,*) 1 block: klbasis Name an output file (hit return for stdout): Full list of non-zero Kazhdan-Lusztig-Vogan polynomials: 0: 0: 1 1: 0: 1 1: 1 2: 0: 1 2: 1 5 nonzero polynomials, and 0 zero polynomials, at 5 Bruhat-comparable pairs.