documentation
SageMath: Root system data for type F
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.simple_root(): nodes 1,2 long and nodes 3,4 short.
Dependent assertions
| Record | Assertion | Source locator |
|---|---|---|
| F4 · (0,0,0,1) | Definition | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Complex dimension | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Coefficient field | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Quadratic Casimir C₂ | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Quadratic index T(R) | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Reality type | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Conjugate highest weight | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Descends to the adjoint global form | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Order of central kernel | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Highest weight and conventions | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Global form and center | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Use in a calculation | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (0,0,0,1) | Representation domain | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Definition | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Complex dimension | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Coefficient field | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Quadratic Casimir C₂ | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Quadratic index T(R) | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Reality type | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Conjugate highest weight | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Descends to the adjoint global form | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Order of central kernel | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Highest weight and conventions | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Global form and center | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Use in a calculation | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |
| F4 · (1,0,0,0) | Representation domain | AmbientSpace.simple_root(): nodes 1,2 long and nodes 3,4 short. |