"Source: Text/LieTheory/RootDtm.text";
"Line: 892";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/LieTheory/RootDtm.text, line: 892
// Example: H107E8 ()
print "Example: H107E8";
ei := GetEchoInput();
SetEchoInput(true);
R1 := RootDatum("A3");
R2 := RootDatum("A3" : Isogeny := "SC");
R1 eq R2;
assert not $1;
IsIsomorphic(R1, R2);
assert not $1;
IsCartanEquivalent(R1, R2);
IsIsogenous(R1, R2);
C := CartanMatrix("B2");
R1 := RootDatum(C);
R2 := RootDatum(Transpose(C));
R1; R2;
R1 eq R2;
assert not $1;
IsIsomorphic(R1, R2);
SetEchoInput(ei);
