"Source: Text/LieTheory/RootDtm.text";
"Line: 1236";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/LieTheory/RootDtm.text, line: 1236
// Example: H107E11 ()
print "Example: H107E11";
ei := GetEchoInput();
SetEchoInput(true);
P<q> := PolynomialRing(Integers());
R := RootDatum("F4");
GroupOfLieTypeFactoredOrder(R, q);

R := RootDatum("B2");
ord := GroupOfLieTypeOrder(R, q);
forall{ q : q in [2..200] | not IsPrimePower(q) or
  Evaluate(ord, q) eq GroupOfLieTypeOrder(R, q) };
assert $1;
SetEchoInput(ei);
