This is the Atlas of Reductive Lie Groups Software Package version 0.2.3.
Enter "help" if you need assistance.
empty:
empty: type
Lie type: A1
elements of finite order in the center of the simply connected group:
Z/2
enter kernel generators, one per line
(ad for adjoint, ? to abort):
ad
enter inner class(es): s
main: components
(weak) real forms are:
0: su(2)
1: sl(2,R)
enter your choice: 1
component group is (Z/2)^1
real: cartan
Name an output file (hit return for stdout):
Cartan #0:
split: 0; compact: 1; complex: 0
twisted involution orbit size: 1
imaginary root system: A1
real root system is empty
complex factor is empty
real form #1: [0] (1)
real form #0: [1] (1)
Cartan #1:
split: 1; compact: 0; complex: 0
twisted involution orbit size: 1
imaginary root system is empty
real root system: A1
complex factor is empty
real form #1: [0] (1)