This is the Atlas of Reductive Lie Groups Software Package version 0.3. Build date: Nov 16 2007 at 11:47:08. Enter "help" if you need assistance. empty: type Lie type: A1 sc 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,1): 0 0 [i1] 1 (2,*) 1(1,1): 0 0 [i1] 0 (2,*) 2(2,0): 1 1 [r1] 2 (0,1) 1 block: klbasis Name an output file (hit return for stdout): Full list of non-zero Kazhdan-Lusztig-Vogan polynomials: 0: 0: 1 1: 1: 1 2: 0: 1 1: 1 2: 1 5 nonzero polynomials, and 0 zero polynomials, at 5 Bruhat-comparable pairs.