"Source: Text/LieTheory/RootSys.text";
"Line: 487";
"Date: Tue Jun  7 22:27:15 2016";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/LieTheory/RootSys.text, line: 487
// Example: H103E4 ()
print "Example: H103E4";
ei := GetEchoInput();
SetEchoInput(true);
Rs := { IrreducibleRootSystem("I", n) : n in [3..20] };           
{ R : R in Rs | IsCrystallographic(R) };
SetEchoInput(ei);
