"Source: Text/System/Func.text";
"Line: 1624";
"Date: Thu Sep 25 14:47:43 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/System/Func.text, line: 1624
// Example: H2E14 ()
print "Example: H2E14";
ei := GetEchoInput();
SetEchoInput(true);
// Create group G.
G := PSL(3, 2);
// Check whether order known.
assigned G`Order;
// Force computation of order by intrinsic Order.
Order(G);
// Check Order field again.
assigned G`Order; 
G`Order;
G`` "Order"; // String form for field
o := "Order";
G`` o;
// Create code C and set its minimum weight.
C := QRCode(GF(2), 31);
C`MinimumWeight := 7;                                                        
C;
SetEchoInput(ei);
