"Source: Text/LieTheory/RootDtm.text";
"Line: 2779";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/LieTheory/RootDtm.text, line: 2779
// Example: H107E30 ()
print "Example: H107E30";
ei := GetEchoInput();
SetEchoInput(true);
S := TwistedRootDatum("D4" : Twist := 3);
S;
R := RootDatum("A1A3");
DynkinDiagram(R);
S := TwistedRootDatum(R : Twist := Sym(4)!(2,4));
S;
S := TwistedRootDatum("A4" : Twist := <{{1,4},{2,3}}, 2>);
S;
R := RootDatum("E6" : Isogeny := "SC");
DynkinDiagram(R);
S := TwistedRootDatum(R : Twist := <Sym(2) ,[ Sym(6)!(1,6)(3,5) ]>);
S;
R := RootDatum("D4");
DynkinDiagram(R);
Gamma := Sym(3);
Gamma.1, Gamma.2;
S := TwistedRootDatum(R : Twist := <Gamma, [ Sym(4) | (1,3,4), (1,4) ]>);
S;
R := RootDatum("A2");
DynkinDiagram(R);
Roots(R);
S6 := Sym(#Roots(R));
phi := hom<Sym(2) -> S6 | S6!(1,2)(4,5)>;
S := TwistedRootDatum(R : Twist := phi);
SetEchoInput(ei);
