|
|
|
Recordings of the online video training sessions.
Go to the online training page.
View the recording of the terminal window
(right-click to download)
Root systems, complex groups, real groups, atlas coordinates
You need Flash player 8+ and JavaScript enabled to view this video.
- Welcome back. Questions from previous hour. Function arguments/outputs queries: whattype "function" ?, "function"@("input"), inputs/outputs for the + function, e.g. +@(mat,int)
- Data type: LieType, atlas functions: simply_connected, adjoint, simple_roots, simple_coroots. Root datum in atlas, isogenies; SL(2), GL(2), PSL(2)
- More Lie groups, The file groups.at, realform data type, GL(2,R), Sp(4,R), posroots, poscorrots, rho, GL(3,R), SL(3,R)
- The file lietypes.at, strings, type C4, fundamental weight coordinates, Sp(8,R)
- Simple roots of SL(5,R), atlas coordinates.
- More on atlas' choice of coordinates, help files.
- The file atlas-functions.help
- More Lie group information, Lie algebra, connectednes, root datum, split, quasisplit, adjoint; nr_of_Cartan_classes, print_cartan_info (for a real torus), imaginary, real and complex roots
- real_forms, for loop to print real forms, cartan classes along realforms, sp(4)
- real forms in an inner class. SL(5,R), distinguished involution, outer outomorphisms
Return to part A
Return to online-training page for information about upcoming training sessions.
|
