Atlas Documentation
Full documentation for the Atlas software, covering installation, a structured tutorial with examples, and a complete library reference for the Axis scripting language.
The full interactive documentation is currently hosted at liegroups.org/help. This page provides an overview and links to all sections.
General Information
Background on the Atlas project and the software.
Getting Started
Installation instructions for all platforms, plus how to run Atlas and work with git.
- —Run AtlasStarting the software, loading scripts →
- —Help with GitWorking with the source repository →
Software Tutorial
A structured tutorial with worked examples, organized by topic. Each chapter is also accompanied by training videos.
- 1PreliminariesCommands, vectors, matrices, functions →
- 2Structure TheoryRoot data, real groups, Cartan subgroups →
- 3Coordinates & CharactersParameters, occurrence matrices →
- 4First Examples of RepresentationsSL(2,ℝ), Sp(4,ℝ), SO(3,2) →
- 5K orbits on G/BKGB elements, parametrization →
- 6Discrete SeriesBackground and examples →
- 7General ParametersComposition series, character formulas →
- 8Parabolic InductionReal and cohomological induction →
Atlas Library
Reference for the Axis scripting language, built-in functions, and the large collection of user-defined .at script files.
- §0IntroductionBrief overview of the library →
- §1The Axis LanguageTypes, functions, control flow, syntax →
- §2Basic OperatorsArithmetic, comparison, logical →
- §3Built-In Atlas FunctionsLie basics, roots, weights, KGB, parameters →
- §4User-Defined Functions60+ .at script files →
Video Tutorials
A series of online training videos covering the software systematically, each corresponding to a chapter in the written tutorial.