Quelle  Tr_2_O2.m   Sprache: unbekannt

Tr_2_O2 := PolycyclicGroup< g1, g2, g3, g4, g5, g6, g7 | 

    g1^2,
    g2^2,

    g2^g1 = g2,
    g3^g1 = g3,
    g3^g2 = g3,
    g4^g1 = g4,
    g4^g2 = g4,
    g4^g3 = g4,
    g4^g3^-1 = g4,
    g5^g1 = g5^-1,
    g5^g2 = g5^-1,
    g5^g3 = g7^-1,
    g5^g3^-1 = g5^-2*g6^2*g7^-1,
    g5^g4 = g5^-2*g6^2*g7^-1,
    g5^g4^-1 = g7^-1,
    g6^g1 = g6^-1,
    g6^g2 = g6^-1,
    g6^g3 = g5^2*g6*g7^-2,
    g6^g3^-1 = g5^2*g6^-3*g7^2,
    g6^g4 = g5^2*g6^-3*g7^2,
    g6^g4^-1 = g5^2*g6*g7^-2,
    g6^g5 = g6,
    g6^g5^-1 = g6,
    g7^g1 = g7^-1,
    g7^g2 = g7^-1,
    g7^g3 = g5^3*g6^2*g7^-2,
    g7^g3^-1 = g5^-1,
    g7^g4 = g5^-1,
    g7^g4^-1 = g5^3*g6^2*g7^-2,
    g7^g5 = g7,
    g7^g5^-1 = g7,
    g7^g6 = g7,
    g7^g6^-1 = g7
>;