#These are three representations with infinitesimal character rho, the #two discrete series, and an reducible principal series. The #irreducible principal series is in a different block. 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 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): 1 (2,*) [i1] 0 1(1,1): 0 (2,*) [i1] 0 2(2,0): 2 (*,*) [r1] 1 1 #To get the irreducible principal series, choose SU(2) as the dual #group: real: block possible (weak) dual real forms are: 0: su(2) 1: sl(2,R) enter your choice: 0 Name an output file (hit return for stdout): 0(2,0): 0 (*,*) [rn] 1 1