Quelle  F_25_Aut1.m   Sprache: unbekannt

F_25_Aut1 := PolycyclicGroup< g1, g2, g3, g4, g5, g6, g7, g8, g9, g10, g11, g12, g13, g14, g15 | 

    g2^g1 = g3^-1,
    g2^g1^-1 = g2^3*g3*g4^3*g5^3*g7*g11^-1*g12,
    g3^g1 = g2*g3^3,
    g3^g1^-1 = g2^-1,
    g3^g2 = g3*g4,
    g3^g2^-1 = g3*g4^-1*g5*g7^-1*g10*g11*g12^-1,
    g4^g1 = g4*g6^2*g9,
    g4^g1^-1 = g4*g5^2*g7,
    g4^g2 = g4*g5,
    g4^g2^-1 = g4*g5^-1*g7*g10^-1,
    g4^g3 = g4*g6,
    g4^g3^-1 = g4*g6^-1*g9*g15^-1,
    g5^g1 = g6^-1*g9^-1,
    g5^g1^-1 = g5^3*g6*g7^9*g8^5*g10^10*g11^3*g12^7*g13^2*g14^-2,
    g5^g2 = g5*g7,
    g5^g2^-1 = g5*g7^-1*g10,
    g5^g3 = g5*g8*g11*g12^-1*g13*g14^-1,
    g5^g3^-1 = g5*g8^-1*g11^-1*g12*g14,
    g5^g4 = g5*g11^-1*g12,
    g5^g4^-1 = g5*g11*g12^-1,
    g6^g1 = g5*g6^3*g8^5*g9^9*g11^3*g12^-3*g13^12*g14^-2*g15^10,
    g6^g1^-1 = g5^-1*g7^-1,
    g6^g2 = g6*g8,
    g6^g2^-1 = g6*g8^-1*g12,
    g6^g3 = g6*g9,
    g6^g3^-1 = g6*g9^-1*g15,
    g6^g4 = g6*g13^-1*g14,
    g6^g4^-1 = g6*g13*g14^-1,
    g6^g5 = g6,
    g6^g5^-1 = g6,
    g7^g1 = g9,
    g7^g1^-1 = g7^9*g8^6*g9*g10^36*g11^12*g12^24*g13^8,
    g7^g2 = g7*g10,
    g7^g2^-1 = g7*g10^-1,
    g7^g3 = g7*g11,
    g7^g3^-1 = g7*g11^-1,
    g7^g4 = g7,
    g7^g4^-1 = g7,
    g7^g5 = g7,
    g7^g5^-1 = g7,
    g7^g6 = g7,
    g7^g6^-1 = g7,
    g8^g1 = g8^-1*g9^-3*g11^-1*g12*g13^-5*g14*g15^-6,
    g8^g1^-1 = g7^-3*g8^-1*g10^-6*g11^-2*g12^-2*g13^-1*g14,
    g8^g2 = g8*g12,
    g8^g2^-1 = g8*g12^-1,
    g8^g3 = g8*g13,
    g8^g3^-1 = g8*g13^-1,
    g8^g4 = g8,
    g8^g4^-1 = g8,
    g8^g5 = g8,
    g8^g5^-1 = g8,
    g8^g6 = g8,
    g8^g6^-1 = g8,
    g8^g7 = g8,
    g8^g7^-1 = g8,
    g9^g1 = g7*g8^6*g9^9*g11^6*g12^2*g13^30*g14^6*g15^36,
    g9^g1^-1 = g7,
    g9^g2 = g9*g14,
    g9^g2^-1 = g9*g14^-1,
    g9^g3 = g9*g15,
    g9^g3^-1 = g9*g15^-1,
    g9^g4 = g9,
    g9^g4^-1 = g9,
    g9^g5 = g9,
    g9^g5^-1 = g9,
    g9^g6 = g9,
    g9^g6^-1 = g9,
    g9^g7 = g9,
    g9^g7^-1 = g9,
    g9^g8 = g9,
    g9^g8^-1 = g9,
    g10^g1 = g15^-1,
    g10^g1^-1 = g10^27*g11^9*g12^18*g13^6*g14^3*g15,
    g10^g2 = g10,
    g10^g2^-1 = g10,
    g10^g3 = g10,
    g10^g3^-1 = g10,
    g10^g4 = g10,
    g10^g4^-1 = g10,
    g10^g5 = g10,
    g10^g5^-1 = g10,
    g10^g6 = g10,
    g10^g6^-1 = g10,
    g10^g7 = g10,
    g10^g7^-1 = g10,
    g10^g8 = g10,
    g10^g8^-1 = g10,
    g10^g9 = g10,
    g10^g9^-1 = g10,
    g11^g1 = g14*g15^3,
    g11^g1^-1 = g10^-9*g12^-6*g14^-1,
    g11^g2 = g11,
    g11^g2^-1 = g11,
    g11^g3 = g11,
    g11^g3^-1 = g11,
    g11^g4 = g11,
    g11^g4^-1 = g11,
    g11^g5 = g11,
    g11^g5^-1 = g11,
    g11^g6 = g11,
    g11^g6^-1 = g11,
    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 = g13*g15^3,
    g12^g1^-1 = g10^-9*g11^-3*g12^-3*g13^-1,
    g12^g2 = g12,
    g12^g2^-1 = g12,
    g12^g3 = g12,
    g12^g3^-1 = g12,
    g12^g4 = g12,
    g12^g4^-1 = g12,
    g12^g5 = g12,
    g12^g5^-1 = g12,
    g12^g6 = g12,
    g12^g6^-1 = g12,
    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,
    g13^g1 = g12^-1*g13^-3*g14^-3*g15^-9,
    g13^g1^-1 = g10^3*g12,
    g13^g2 = g13,
    g13^g2^-1 = g13,
    g13^g3 = g13,
    g13^g3^-1 = g13,
    g13^g4 = g13,
    g13^g4^-1 = g13,
    g13^g5 = g13,
    g13^g5^-1 = g13,
    g13^g6 = g13,
    g13^g6^-1 = g13,
    g13^g7 = g13,
    g13^g7^-1 = g13,
    g13^g8 = g13,
    g13^g8^-1 = g13,
    g13^g9 = g13,
    g13^g9^-1 = g13,
    g13^g10 = g13,
    g13^g10^-1 = g13,
    g13^g11 = g13,
    g13^g11^-1 = g13,
    g13^g12 = g13,
    g13^g12^-1 = g13,
    g14^g1 = g11^-1*g13^-6*g15^-9,
    g14^g1^-1 = g10^3*g11,
    g14^g2 = g14,
    g14^g2^-1 = g14,
    g14^g3 = g14,
    g14^g3^-1 = g14,
    g14^g4 = g14,
    g14^g4^-1 = g14,
    g14^g5 = g14,
    g14^g5^-1 = g14,
    g14^g6 = g14,
    g14^g6^-1 = g14,
    g14^g7 = g14,
    g14^g7^-1 = g14,
    g14^g8 = g14,
    g14^g8^-1 = g14,
    g14^g9 = g14,
    g14^g9^-1 = g14,
    g14^g10 = g14,
    g14^g10^-1 = g14,
    g14^g11 = g14,
    g14^g11^-1 = g14,
    g14^g12 = g14,
    g14^g12^-1 = g14,
    g14^g13 = g14,
    g14^g13^-1 = g14,
    g15^g1 = g10*g11^3*g12^6*g13^18*g14^9*g15^27,
    g15^g1^-1 = g10^-1,
    g15^g2 = g15,
    g15^g2^-1 = g15,
    g15^g3 = g15,
    g15^g3^-1 = g15,
    g15^g4 = g15,
    g15^g4^-1 = g15,
    g15^g5 = g15,
    g15^g5^-1 = g15,
    g15^g6 = g15,
    g15^g6^-1 = g15,
    g15^g7 = g15,
    g15^g7^-1 = g15,
    g15^g8 = g15,
    g15^g8^-1 = g15,
    g15^g9 = g15,
    g15^g9^-1 = g15,
    g15^g10 = g15,
    g15^g10^-1 = g15,
    g15^g11 = g15,
    g15^g11^-1 = g15,
    g15^g12 = g15,
    g15^g12^-1 = g15,
    g15^g13 = g15,
    g15^g13^-1 = g15,
    g15^g14 = g15,
    g15^g14^-1 = g15
>;