Software · Archive
Online training: session 1, part B (February 16, 2016)
Archived page from the old site: recordings of the online training sessions held in February–March 2016. The embedded player of the old page no longer works; the links below open the recordings on YouTube.
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
Watch the recording on YouTube. The topics below link to the point in the recording where each begins.
- 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 online-training page for information about upcoming training sessions.