Quelle  Tr_3_O1.m   Sprache: unbekannt

Tr_3_O1 := PolycyclicGroup< g1, g2, g3, g4, g5, g6, g7, g8, g9, g10, g11, g12 | 

    g1^2,
    g2^2,
    g3^2,

    g2^g1 = g2,
    g3^g1 = g3,
    g3^g2 = g3,
    g4^g1 = g4,
    g4^g2 = g4,
    g4^g3 = g4,
    g5^g1 = g5,
    g5^g2 = g5,
    g5^g3 = g5,
    g5^g4 = g5,
    g5^g4^-1 = g5,
    g6^g1 = g6,
    g6^g2 = g6,
    g6^g3 = g6,
    g6^g4 = g6,
    g6^g4^-1 = g6,
    g6^g5 = g6,
    g6^g5^-1 = g6,
    g7^g1 = g7^-1,
    g7^g2 = g7^-1,
    g7^g3 = g7,
    g7^g4 = g7^2*g8,
    g7^g4^-1 = g7^2*g8^-1,
    g7^g5 = g7^2*g8^-1,
    g7^g5^-1 = g7^2*g8,
    g7^g6 = g7,
    g7^g6^-1 = g7,
    g8^g1 = g8^-1,
    g8^g2 = g8^-1,
    g8^g3 = g8,
    g8^g4 = g7^3*g8^2,
    g8^g4^-1 = g7^-3*g8^2,
    g8^g5 = g7^-3*g8^2,
    g8^g5^-1 = g7^3*g8^2,
    g8^g6 = g8,
    g8^g6^-1 = g8,
    g8^g7 = g8,
    g8^g7^-1 = g8,
    g9^g1 = g9,
    g9^g2 = g9^-1,
    g9^g3 = g9^-1,
    g9^g4 = g9,
    g9^g4^-1 = g9,
    g9^g5 = g9^2*g10,
    g9^g5^-1 = g9^2*g10^-1,
    g9^g6 = g9^2*g10^-1,
    g9^g6^-1 = g9^2*g10,
    g9^g7 = g9*g11,
    g9^g7^-1 = g9*g11^-1,
    g9^g8 = g9*g12,
    g9^g8^-1 = g9*g12^-1,
    g10^g1 = g10,
    g10^g2 = g10^-1,
    g10^g3 = g10^-1,
    g10^g4 = g10,
    g10^g4^-1 = g10,
    g10^g5 = g9^3*g10^2,
    g10^g5^-1 = g9^-3*g10^2,
    g10^g6 = g9^-3*g10^2,
    g10^g6^-1 = g9^3*g10^2,
    g10^g7 = g10*g12,
    g10^g7^-1 = g10*g12^-1,
    g10^g8 = g10*g11^3,
    g10^g8^-1 = g10*g11^-3,
    g10^g9 = g10,
    g10^g9^-1 = g10,
    g11^g1 = g11^-1,
    g11^g2 = g11,
    g11^g3 = g11^-1,
    g11^g4 = g11^2*g12,
    g11^g4^-1 = g11^2*g12^-1,
    g11^g5 = g11,
    g11^g5^-1 = g11,
    g11^g6 = g11^2*g12^-1,
    g11^g6^-1 = g11^2*g12,
    g11^g7 = g11,
    g11^g7^-1 = g11,
    g11^g8 = g11,
    g11^g8^-1 = g11,
    g11^g9 = g11,
    g11^g9^-1 = g11,
    g11^g10 = g11,
    g11^g10^-1 = g11,
    g12^g1 = g12^-1,
    g12^g2 = g12,
    g12^g3 = g12^-1,
    g12^g4 = g11^3*g12^2,
    g12^g4^-1 = g11^-3*g12^2,
    g12^g5 = g12,
    g12^g5^-1 = g12,
    g12^g6 = g11^-3*g12^2,
    g12^g6^-1 = g11^3*g12^2,
    g12^g7 = g12,
    g12^g7^-1 = g12,
    g12^g8 = g12,
    g12^g8^-1 = g12,
    g12^g9 = g12,
    g12^g9^-1 = g12,
    g12^g10 = g12,
    g12^g10^-1 = g12,
    g12^g11 = g12,
    g12^g11^-1 = g12
>;