documentation
SageMath: Root system data for type E
SageMath developers
Use in this reference: Linked primary source. Original algorithms and explanatory prose; no upstream software or document text is redistributed.
Relevant material: AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4.
Dependent assertions
| Record | Assertion | Source locator |
|---|---|---|
| E6 · (1,0,0,0,0,0) | Definition | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Complex dimension | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Coefficient field | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Quadratic Casimir C₂ | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Quadratic index T(R) | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Reality type | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Conjugate highest weight | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Descends to the adjoint global form | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Order of central kernel | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Highest weight and conventions | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Global form and center | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Use in a calculation | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (1,0,0,0,0,0) | Representation domain | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Definition | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Complex dimension | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Coefficient field | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Quadratic Casimir C₂ | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Quadratic index T(R) | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Reality type | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Conjugate highest weight | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Descends to the adjoint global form | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Order of central kernel | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Highest weight and conventions | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Global form and center | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Use in a calculation | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E6 · (0,1,0,0,0,0) | Representation domain | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Definition | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Complex dimension | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Coefficient field | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Quadratic Casimir C₂ | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Quadratic index T(R) | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Reality type | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Conjugate highest weight | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Descends to the adjoint global form | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Order of central kernel | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Highest weight and conventions | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Global form and center | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Use in a calculation | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (0,0,0,0,0,0,1) | Representation domain | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Definition | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Complex dimension | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Coefficient field | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Quadratic Casimir C₂ | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Quadratic index T(R) | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Reality type | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Conjugate highest weight | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Descends to the adjoint global form | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Order of central kernel | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Highest weight and conventions | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Global form and center | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Use in a calculation | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E7 · (1,0,0,0,0,0,0) | Representation domain | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Definition | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Complex dimension | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Coefficient field | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Quadratic Casimir C₂ | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Quadratic index T(R) | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Reality type | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Conjugate highest weight | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Descends to the adjoint global form | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Order of central kernel | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Highest weight and conventions | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Global form and center | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Use in a calculation | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |
| E8 · (0,0,0,0,0,0,0,1) | Representation domain | AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4. |