[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Example for Database of Groups of Order Dividing 256

Example for Database of Groups of Order Dividing 256

Each file in the twogps database contains a sequence of descriptions called gps. To generate a group from the description, the function gen2(gps[i], print_level) should be used. The second argument of gen2, the print level, should be an integer between 0 and 4, where 0 corresponds to no printing and 4 to quite a lot of information.

Example

A sample run may begin:
> load gen2;
Loading "twogps/gen2"
> load twogp128;
Loading "twogps/twogp128"
> print gps[74];
[ 2, 7, 4, 46437874337386516 ]
> G := gen2(gps[74], 0);
> print G;
GrpPC : G of order 128 = 2^7
PC-Relations:
G.1^2 = G.4, 
G.2^2 = G.7, 
G.3^2 = G.6 * G.7, 
G.4^2 = G.7, 
G.5^2 = G.7, 
G.6^2 = G.7, 
G.2^G.1 = G.2 * G.3, 
G.3^G.1 = G.3 * G.5, 
G.3^G.2 = G.3 * G.6, 
G.4^G.2 = G.4 * G.5 * G.6 * G.7, 
G.4^G.3 = G.4 * G.7, 
G.5^G.2 = G.5 * G.7, 
G.6^G.1 = G.6 * G.7, 
G.6^G.2 = G.6 * G.7

[Next] [Prev] [Right] [Left] [Up] [Index] [Root]