| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/guarana/magma/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 11.1.2022 mit Größe 12 kB |
|
Quelle sta5.m Sprache: unbekannt |
|
|
sta5 := PolycyclicGroup< g1, g2, g3, g4, g5, g6, g7, g8, g9, g10, g11, g12, g13, g14, g15, g16, g17,
g1^2, g3^2, g5^2, g7^2, g2^g1 = g2, g3^g1 = g3, g3^g2 = g3, g3^g2^-1 = g3, g4^g1 = g4, g4^g2 = g4, g4^g2^-1 = g4, g4^g3 = g4, g5^g1 = g5, g5^g2 = g5, g5^g2^-1 = g5, g5^g3 = g5, g5^g4 = g5, g5^g4^-1 = g5, g6^g1 = g6, g6^g2 = g6, g6^g2^-1 = g6, g6^g3 = g6, g6^g4 = g6, g6^g4^-1 = g6, g6^g5 = g6, g7^g1 = g7, g7^g2 = g7, g7^g2^-1 = g7, g7^g3 = g7, g7^g4 = g7, g7^g4^-1 = g7, g7^g5 = g7, g7^g6 = g7, g7^g6^-1 = g7, g8^g1 = g8, g8^g2 = g8, g8^g2^-1 = g8, g8^g3 = g8, g8^g4 = g8, g8^g4^-1 = g8, g8^g5 = g8, g8^g6 = g8, g8^g6^-1 = g8, g8^g7 = g8, g9^g1 = g9^-1, g9^g2 = g11^-1, g9^g2^-1 = g9^-2*g10^2*g11^-1, g9^g3 = g9^-1, g9^g4 = g9^-2*g10^2*g11^-1, g9^g4^-1 = g11^-1, g9^g5 = g9, g9^g6 = g9, g9^g6^-1 = g9, g9^g7 = g9, g9^g8 = g9, g9^g8^-1 = g9, g10^g1 = g10^-1, g10^g2 = g9^2*g10*g11^-2, g10^g2^-1 = g9^2*g10^-3*g11^2, g10^g3 = g10^-1, g10^g4 = g9^2*g10^-3*g11^2, g10^g4^-1 = g9^2*g10*g11^-2, g10^g5 = g10, g10^g6 = g10, g10^g6^-1 = g10, g10^g7 = g10, g10^g8 = g10, g10^g8^-1 = g10, g10^g9 = g10, g10^g9^-1 = g10, g11^g1 = g11^-1, g11^g2 = g9^3*g10^2*g11^-2, g11^g2^-1 = g9^-1, g11^g3 = g11^-1, g11^g4 = g9^-1, g11^g4^-1 = g9^3*g10^2*g11^-2, g11^g5 = g11, g11^g6 = g11, g11^g6^-1 = g11, g11^g7 = 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, g12^g2 = g12, g12^g2^-1 = g12, g12^g3 = g12^-1, g12^g4 = g14^-1, g12^g4^-1 = g12^-2*g13^2*g14^-1, g12^g5 = g12^-1, g12^g6 = g12^-2*g13^2*g14^-1, g12^g6^-1 = g14^-1, g12^g7 = g12, g12^g8 = g12, g12^g8^-1 = g12, g12^g9 = g12*g18, g12^g9^-1 = g12*g18^-1, g12^g10 = g12*g19, g12^g10^-1 = g12*g19^-1, g12^g11 = g12*g20, g12^g11^-1 = g12*g20^-1, g13^g1 = g13, g13^g2 = g13, g13^g2^-1 = g13, g13^g3 = g13^-1, g13^g4 = g12^2*g13*g14^-2, g13^g4^-1 = g12^2*g13^-3*g14^2, g13^g5 = g13^-1, g13^g6 = g12^2*g13^-3*g14^2, g13^g6^-1 = g12^2*g13*g14^-2, g13^g7 = g13, g13^g8 = g13, g13^g8^-1 = g13, g13^g9 = g13*g19, g13^g9^-1 = g13*g19^-1, g13^g10 = g13*g19^-1*g20^2, g13^g10^-1 = g13*g19*g20^-2, g13^g11 = g13*g18^-2*g19^-1*g20^2, g13^g11^-1 = g13*g18^2*g19*g20^-2, g13^g12 = g13, g13^g12^-1 = g13, g14^g1 = g14, g14^g2 = g14, g14^g2^-1 = g14, g14^g3 = g14^-1, g14^g4 = g12^3*g13^2*g14^-2, g14^g4^-1 = g12^-1, g14^g5 = g14^-1, g14^g6 = g12^-1, g14^g6^-1 = g12^3*g13^2*g14^-2, g14^g7 = g14, g14^g8 = g14, g14^g8^-1 = g14, g14^g9 = g14*g20, g14^g9^-1 = g14*g20^-1, g14^g10 = g14*g18^-2*g19^-1*g20^2, g14^g10^-1 = g14*g18^2*g19*g20^-2, g14^g11 = g14*g18^-3*g19^-2*g20^2, g14^g11^-1 = g14*g18^3*g19^2*g20^-2, g14^g12 = g14, g14^g12^-1 = g14, g14^g13 = g14, g14^g13^-1 = g14, g15^g1 = g15, g15^g2 = g15, g15^g2^-1 = g15, g15^g3 = g15, g15^g4 = g15, g15^g4^-1 = g15, g15^g5 = g15^-1, g15^g6 = g17^-1, g15^g6^-1 = g15^-2*g16^2*g17^-1, g15^g7 = g15^-1, g15^g8 = g15^-2*g16^2*g17^-1, g15^g8^-1 = g17^-1, g15^g9 = g15, g15^g9^-1 = g15, g15^g10 = g15, g15^g10^-1 = g15, g15^g11 = g15, g15^g11^-1 = g15, g15^g12 = g15*g21, g15^g12^-1 = g15*g21^-1, g15^g13 = g15*g22, g15^g13^-1 = g15*g22^-1, g15^g14 = g15*g23, g15^g14^-1 = g15*g23^-1, g16^g1 = g16, g16^g2 = g16, g16^g2^-1 = g16, g16^g3 = g16, g16^g4 = g16, g16^g4^-1 = g16, g16^g5 = g16^-1, g16^g6 = g15^2*g16*g17^-2, g16^g6^-1 = g15^2*g16^-3*g17^2, g16^g7 = g16^-1, g16^g8 = g15^2*g16^-3*g17^2, g16^g8^-1 = g15^2*g16*g17^-2, g16^g9 = g16, g16^g9^-1 = g16, g16^g10 = g16, g16^g10^-1 = g16, g16^g11 = g16, g16^g11^-1 = g16, g16^g12 = g16*g22, g16^g12^-1 = g16*g22^-1, g16^g13 = g16*g22^-1*g23^2, g16^g13^-1 = g16*g22*g23^-2, g16^g14 = g16*g21^-2*g22^-1*g23^2, g16^g14^-1 = g16*g21^2*g22*g23^-2, g16^g15 = g16, g16^g15^-1 = g16, g17^g1 = g17, g17^g2 = g17, g17^g2^-1 = g17, g17^g3 = g17, g17^g4 = g17, g17^g4^-1 = g17, g17^g5 = g17^-1, g17^g6 = g15^3*g16^2*g17^-2, g17^g6^-1 = g15^-1, g17^g7 = g17^-1, g17^g8 = g15^-1, g17^g8^-1 = g15^3*g16^2*g17^-2, g17^g9 = g17, g17^g9^-1 = g17, g17^g10 = g17, g17^g10^-1 = g17, g17^g11 = g17, g17^g11^-1 = g17, g17^g12 = g17*g23, g17^g12^-1 = g17*g23^-1, g17^g13 = g17*g21^-2*g22^-1*g23^2, g17^g13^-1 = g17*g21^2*g22*g23^-2, g17^g14 = g17*g21^-3*g22^-2*g23^2, g17^g14^-1 = g17*g21^3*g22^2*g23^-2, g17^g15 = g17, g17^g15^-1 = g17, g17^g16 = g17, g17^g16^-1 = g17, g18^g1 = g18^-1, g18^g2 = g20^-1, g18^g2^-1 = g18^-2*g19^2*g20^-1, g18^g3 = g18, g18^g4 = g18, g18^g4^-1 = g18, g18^g5 = g18^-1, g18^g6 = g18^-2*g19^2*g20^-1, g18^g6^-1 = g20^-1, g18^g7 = g18, g18^g8 = g18, g18^g8^-1 = g18, g18^g9 = g18, g18^g9^-1 = g18, g18^g10 = g18, g18^g10^-1 = g18, g18^g11 = g18, g18^g11^-1 = g18, g18^g12 = g18, g18^g12^-1 = g18, g18^g13 = g18, g18^g13^-1 = g18, g18^g14 = g18, g18^g14^-1 = g18, g18^g15 = g18*g24^-1, g18^g15^-1 = g18*g24, g18^g16 = g18*g25^-1, g18^g16^-1 = g18*g25, g18^g17 = g18*g26^-1, g18^g17^-1 = g18*g26, g19^g1 = g19^-1, g19^g2 = g18^2*g19*g20^-2, g19^g2^-1 = g18^2*g19^-3*g20^2, g19^g3 = g19, g19^g4 = g19, g19^g4^-1 = g19, g19^g5 = g19^-1, g19^g6 = g18^2*g19^-3*g20^2, g19^g6^-1 = g18^2*g19*g20^-2, g19^g7 = g19, g19^g8 = g19, g19^g8^-1 = g19, g19^g9 = g19, g19^g9^-1 = g19, g19^g10 = g19, g19^g10^-1 = g19, g19^g11 = g19, g19^g11^-1 = g19, g19^g12 = g19, g19^g12^-1 = g19, g19^g13 = g19, g19^g13^-1 = g19, g19^g14 = g19, g19^g14^-1 = g19, g19^g15 = g19*g25^-1, g19^g15^-1 = g19*g25, g19^g16 = g19*g25*g26^-2, g19^g16^-1 = g19*g25^-1*g26^2, g19^g17 = g19*g24^2*g25*g26^-2, g19^g17^-1 = g19*g24^-2*g25^-1*g26^2, g19^g18 = g19, g19^g18^-1 = g19, g20^g1 = g20^-1, g20^g2 = g18^3*g19^2*g20^-2, g20^g2^-1 = g18^-1, g20^g3 = g20, g20^g4 = g20, g20^g4^-1 = g20, g20^g5 = g20^-1, g20^g6 = g18^-1, g20^g6^-1 = g18^3*g19^2*g20^-2, g20^g7 = g20, g20^g8 = g20, g20^g8^-1 = g20, g20^g9 = g20, g20^g9^-1 = g20, g20^g10 = g20, g20^g10^-1 = g20, g20^g11 = g20, g20^g11^-1 = g20, g20^g12 = g20, g20^g12^-1 = g20, g20^g13 = g20, g20^g13^-1 = g20, g20^g14 = g20, g20^g14^-1 = g20, g20^g15 = g20*g26^-1, g20^g15^-1 = g20*g26, g20^g16 = g20*g24^2*g25*g26^-2, g20^g16^-1 = g20*g24^-2*g25^-1*g26^2, g20^g17 = g20*g24^3*g25^2*g26^-2, g20^g17^-1 = g20*g24^-3*g25^-2*g26^2, g20^g18 = g20, g20^g18^-1 = g20, g20^g19 = g20, g20^g19^-1 = g20, g21^g1 = g21, g21^g2 = g21, g21^g2^-1 = g21, g21^g3 = g21^-1, g21^g4 = g23^-1, g21^g4^-1 = g21^-2*g22^2*g23^-1, g21^g5 = g21, g21^g6 = g21, g21^g6^-1 = g21, g21^g7 = g21^-1, g21^g8 = g21^-2*g22^2*g23^-1, g21^g8^-1 = g23^-1, g21^g9 = g21*g24, g21^g9^-1 = g21*g24^-1, g21^g10 = g21*g25, g21^g10^-1 = g21*g25^-1, g21^g11 = g21*g26, g21^g11^-1 = g21*g26^-1, g21^g12 = g21, g21^g12^-1 = g21, g21^g13 = g21, g21^g13^-1 = g21, g21^g14 = g21, g21^g14^-1 = g21, g21^g15 = g21, g21^g15^-1 = g21, g21^g16 = g21, g21^g16^-1 = g21, g21^g17 = g21, g21^g17^-1 = g21, g21^g18 = g21, g21^g18^-1 = g21, g21^g19 = g21, g21^g19^-1 = g21, g21^g20 = g21, g21^g20^-1 = g21, g22^g1 = g22, g22^g2 = g22, g22^g2^-1 = g22, g22^g3 = g22^-1, g22^g4 = g21^2*g22*g23^-2, g22^g4^-1 = g21^2*g22^-3*g23^2, g22^g5 = g22, g22^g6 = g22, g22^g6^-1 = g22, g22^g7 = g22^-1, g22^g8 = g21^2*g22^-3*g23^2, g22^g8^-1 = g21^2*g22*g23^-2, g22^g9 = g22*g25, g22^g9^-1 = g22*g25^-1, g22^g10 = g22*g25^-1*g26^2, g22^g10^-1 = g22*g25*g26^-2, g22^g11 = g22*g24^-2*g25^-1*g26^2, g22^g11^-1 = g22*g24^2*g25*g26^-2, g22^g12 = g22, g22^g12^-1 = g22, g22^g13 = g22, g22^g13^-1 = g22, g22^g14 = g22, g22^g14^-1 = g22, g22^g15 = g22, g22^g15^-1 = g22, g22^g16 = g22, g22^g16^-1 = g22, g22^g17 = g22, g22^g17^-1 = g22, g22^g18 = g22, g22^g18^-1 = g22, g22^g19 = g22, g22^g19^-1 = g22, g22^g20 = g22, g22^g20^-1 = g22, g22^g21 = g22, g22^g21^-1 = g22, g23^g1 = g23, g23^g2 = g23, g23^g2^-1 = g23, g23^g3 = g23^-1, g23^g4 = g21^3*g22^2*g23^-2, g23^g4^-1 = g21^-1, g23^g5 = g23, g23^g6 = g23, g23^g6^-1 = g23, g23^g7 = g23^-1, g23^g8 = g21^-1, g23^g8^-1 = g21^3*g22^2*g23^-2, g23^g9 = g23*g26, g23^g9^-1 = g23*g26^-1, g23^g10 = g23*g24^-2*g25^-1*g26^2, g23^g10^-1 = g23*g24^2*g25*g26^-2, g23^g11 = g23*g24^-3*g25^-2*g26^2, g23^g11^-1 = g23*g24^3*g25^2*g26^-2, g23^g12 = g23, g23^g12^-1 = g23, g23^g13 = g23, g23^g13^-1 = g23, g23^g14 = g23, g23^g14^-1 = g23, g23^g15 = g23, g23^g15^-1 = g23, g23^g16 = g23, g23^g16^-1 = g23, g23^g17 = g23, g23^g17^-1 = g23, g23^g18 = g23, g23^g18^-1 = g23, g23^g19 = g23, g23^g19^-1 = g23, g23^g20 = g23, g23^g20^-1 = g23, g23^g21 = g23, g23^g21^-1 = g23, g23^g22 = g23, g23^g22^-1 = g23, g24^g1 = g24^-1, g24^g2 = g26^-1, g24^g2^-1 = g24^-2*g25^2*g26^-1, g24^g3 = g24, g24^g4 = g24, g24^g4^-1 = g24, g24^g5 = g24, g24^g6 = g24, g24^g6^-1 = g24, g24^g7 = g24^-1, g24^g8 = g24^-2*g25^2*g26^-1, g24^g8^-1 = g26^-1, g24^g9 = g24, g24^g9^-1 = g24, g24^g10 = g24, g24^g10^-1 = g24, g24^g11 = g24, g24^g11^-1 = g24, g24^g12 = g24, g24^g12^-1 = g24, g24^g13 = g24, g24^g13^-1 = g24, g24^g14 = g24, g24^g14^-1 = g24, g24^g15 = g24, g24^g15^-1 = g24, g24^g16 = g24, g24^g16^-1 = g24, g24^g17 = g24, g24^g17^-1 = g24, g24^g18 = g24, g24^g18^-1 = g24, g24^g19 = g24, g24^g19^-1 = g24, g24^g20 = g24, g24^g20^-1 = g24, g24^g21 = g24, g24^g21^-1 = g24, g24^g22 = g24, g24^g22^-1 = g24, g24^g23 = g24, g24^g23^-1 = g24, g25^g1 = g25^-1, g25^g2 = g24^2*g25*g26^-2, g25^g2^-1 = g24^2*g25^-3*g26^2, g25^g3 = g25, g25^g4 = g25, g25^g4^-1 = g25, g25^g5 = g25, g25^g6 = g25, g25^g6^-1 = g25, g25^g7 = g25^-1, g25^g8 = g24^2*g25^-3*g26^2, g25^g8^-1 = g24^2*g25*g26^-2, g25^g9 = g25, g25^g9^-1 = g25, g25^g10 = g25, g25^g10^-1 = g25, g25^g11 = g25, g25^g11^-1 = g25, g25^g12 = g25, g25^g12^-1 = g25, g25^g13 = g25, g25^g13^-1 = g25, g25^g14 = g25, g25^g14^-1 = g25, g25^g15 = g25, g25^g15^-1 = g25, g25^g16 = g25, g25^g16^-1 = g25, g25^g17 = g25, g25^g17^-1 = g25, g25^g18 = g25, g25^g18^-1 = g25, g25^g19 = g25, g25^g19^-1 = g25, g25^g20 = g25, g25^g20^-1 = g25, g25^g21 = g25, g25^g21^-1 = g25, g25^g22 = g25, g25^g22^-1 = g25, g25^g23 = g25, g25^g23^-1 = g25, g25^g24 = g25, g25^g24^-1 = g25, g26^g1 = g26^-1, g26^g2 = g24^3*g25^2*g26^-2, g26^g2^-1 = g24^-1, g26^g3 = g26, g26^g4 = g26, g26^g4^-1 = g26, g26^g5 = g26, g26^g6 = g26, g26^g6^-1 = g26, g26^g7 = g26^-1, g26^g8 = g24^-1, g26^g8^-1 = g24^3*g25^2*g26^-2, g26^g9 = g26, g26^g9^-1 = g26, g26^g10 = g26, g26^g10^-1 = g26, g26^g11 = g26, g26^g11^-1 = g26, g26^g12 = g26, g26^g12^-1 = g26, g26^g13 = g26, g26^g13^-1 = g26, g26^g14 = g26, g26^g14^-1 = g26, g26^g15 = g26, g26^g15^-1 = g26, g26^g16 = g26, g26^g16^-1 = g26, g26^g17 = g26, g26^g17^-1 = g26, g26^g18 = g26, g26^g18^-1 = g26, g26^g19 = g26, g26^g19^-1 = g26, g26^g20 = g26, g26^g20^-1 = g26, g26^g21 = g26, g26^g21^-1 = g26, g26^g22 = g26, g26^g22^-1 = g26, g26^g23 = g26, g26^g23^-1 = g26, g26^g24 = g26, g26^g24^-1 = g26, g26^g25 = g26, g26^g25^-1 = g26 >; [ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ] |
2026-04-04