/* Group 160.16 downloaded from the LMFDB on 02 March 2026. */ /* Various presentations of this group are stored in this file: GPC is polycyclic presentation GPerm is permutation group GLZ, GLFp, GLZA, GLZq, GLFq if they exist are matrix groups Many characteristics of the group are stored as booleans in a record: Agroup, Zgroup, abelian, almost_simple,cyclic, metabelian, metacyclic, monomial, nilpotent, perfect, quasisimple, rational, solvable, supersolvable The character table is stored as chartbl_n_i where n is the order of the group and i is which group of that order it is. Conjugacy classes are stored in the variable 'C' with elements from the group 'G'. */ /* Constructions */ GPC := PCGroup([6, -2, -2, -2, -2, -2, -5, 1465, 31, 3651, 1065, 69, 4324, 88, 4613]); a,b,c := Explode([GPC.1, GPC.2, GPC.4]); AssignNames(~GPC, ["a", "b", "b2", "c", "c2", "c4"]); GPerm := PermutationGroup< 17 | (2,5)(4,7)(6,8)(14,15)(16,17), (1,2,3,6)(4,8,7,5)(9,10,11,12), (1,3)(2,6)(4,7)(5,8)(9,11)(10,12), (1,4,3,7)(2,5,6,8), (1,3)(2,6)(4,7)(5,8), (13,14,16,17,15) >; GLZN := MatrixGroup< 2, Integers(15) | [[1, 3, 0, 1], [13, 10, 10, 8], [4, 0, 0, 4], [11, 0, 0, 11], [1, 5, 5, 11], [3, 8, 5, 7]] >; /* Booleans */ RF := recformat< Agroup, Zgroup, abelian, almost_simple, cyclic, metabelian, metacyclic, monomial, nilpotent, perfect, quasisimple, rational, solvable, supersolvable : BoolElt >; booleans_160_16 := rec< RF | Agroup := false, Zgroup := false, abelian := false, almost_simple := false, cyclic := false, metabelian := true, metacyclic := false, monomial := true, nilpotent := false, perfect := false, quasisimple := false, rational := false, solvable := true, supersolvable := true>; /* Character Table */ G:= GPC; C := SequenceToConjugacyClasses([car |< 1, 1, Id(G)>,< 2, 1, c^10>,< 2, 1, b^2*c^10>,< 2, 1, b^2>,< 2, 20, a*b^2*c^19>,< 2, 20, a>,< 4, 2, b^2*c^5>,< 4, 2, c^5>,< 4, 4, b>,< 4, 4, b^3>,< 5, 2, c^4>,< 5, 2, c^8>,< 8, 10, a*b>,< 8, 10, a*b^3>,< 8, 10, a*b^3*c^2>,< 8, 10, a*b*c^2>,< 10, 2, b^2*c^2>,< 10, 2, b^2*c^6>,< 10, 2, c^2>,< 10, 2, c^6>,< 10, 2, b^2*c^8>,< 10, 2, b^2*c^4>,< 20, 4, c>,< 20, 4, c^3>,< 20, 4, b^2*c>,< 20, 4, b^2*c^3>,< 20, 4, b*c^4>,< 20, 4, b^3*c^16>,< 20, 4, b^3*c^2>,< 20, 4, b*c^8>,< 20, 4, b^3*c^8>,< 20, 4, b*c^2>,< 20, 4, b*c^16>,< 20, 4, b^3*c^4>]); CR := CharacterRing(G); x := CR!\[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; x := CR!\[1, 1, 1, 1, -1, -1, 1, 1, -1, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, -1, -1, -1, -1, 1, -1, 1, -1, -1, -1, 1, 1]; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; x := CR!\[1, 1, 1, 1, -1, -1, 1, 1, 1, 1, 1, 1, -1, -1, -1, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; x := CR!\[1, 1, 1, 1, 1, 1, 1, 1, -1, -1, 1, 1, -1, -1, -1, -1, 1, 1, 1, 1, 1, 1, -1, -1, -1, -1, 1, -1, 1, -1, -1, -1, 1, 1]; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(4: Sparse := true); S := [ K |1,-1,1,-1,-1,1,-1,1,-1*K.1,K.1,1,1,K.1,-1*K.1,-1*K.1,K.1,-1,-1,-1,-1,1,1,K.1,K.1,-1*K.1,-1*K.1,1,K.1,-1,K.1,-1*K.1,-1*K.1,-1,1]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(4: Sparse := true); S := [ K |1,-1,1,-1,-1,1,-1,1,K.1,-1*K.1,1,1,-1*K.1,K.1,K.1,-1*K.1,-1,-1,-1,-1,1,1,-1*K.1,-1*K.1,K.1,K.1,1,-1*K.1,-1,-1*K.1,K.1,K.1,-1,1]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(4: Sparse := true); S := [ K |1,-1,1,-1,1,-1,-1,1,-1*K.1,K.1,1,1,-1*K.1,K.1,K.1,-1*K.1,-1,-1,-1,-1,1,1,K.1,K.1,-1*K.1,-1*K.1,1,K.1,-1,K.1,-1*K.1,-1*K.1,-1,1]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(4: Sparse := true); S := [ K |1,-1,1,-1,1,-1,-1,1,K.1,-1*K.1,1,1,K.1,-1*K.1,-1*K.1,K.1,-1,-1,-1,-1,1,1,-1*K.1,-1*K.1,K.1,K.1,1,-1*K.1,-1,-1*K.1,K.1,K.1,-1,1]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; x := CR!\[2, -2, 2, -2, 0, 0, 2, -2, 0, 0, 2, 2, 0, 0, 0, 0, -2, -2, -2, -2, 2, 2, 0, 0, 0, 0, -2, 0, 2, 0, 0, 0, 2, -2]; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; x := CR!\[2, 2, 2, 2, 0, 0, -2, -2, 0, 0, 2, 2, 0, 0, 0, 0, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, -2, 0, -2, 0, 0, 0, -2, -2]; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |2,2,2,2,0,0,2,2,2,2,K.1^2+K.1^-2,K.1+K.1^-1,0,0,0,0,K.1+K.1^-1,K.1^2+K.1^-2,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1^2+K.1^-2]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |2,2,2,2,0,0,2,2,2,2,K.1+K.1^-1,K.1^2+K.1^-2,0,0,0,0,K.1^2+K.1^-2,K.1+K.1^-1,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1+K.1^-1]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(8: Sparse := true); S := [ K |2,2,-2,-2,0,0,0,0,0,0,2,2,-1*K.1-K.1^-1,-1*K.1-K.1^-1,K.1+K.1^-1,K.1+K.1^-1,2,2,-2,-2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(8: Sparse := true); S := [ K |2,2,-2,-2,0,0,0,0,0,0,2,2,K.1+K.1^-1,K.1+K.1^-1,-1*K.1-K.1^-1,-1*K.1-K.1^-1,2,2,-2,-2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(8: Sparse := true); S := [ K |2,-2,-2,2,0,0,0,0,0,0,2,2,-1*K.1-K.1^3,K.1+K.1^3,-1*K.1-K.1^3,K.1+K.1^3,-2,-2,2,2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(8: Sparse := true); S := [ K |2,-2,-2,2,0,0,0,0,0,0,2,2,K.1+K.1^3,-1*K.1-K.1^3,K.1+K.1^3,-1*K.1-K.1^3,-2,-2,2,2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |2,2,2,2,0,0,2,2,-2,-2,K.1^2+K.1^-2,K.1+K.1^-1,0,0,0,0,K.1+K.1^-1,K.1^2+K.1^-2,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,-1*K.1^2-K.1^-2,-1*K.1-K.1^-1,-1*K.1^2-K.1^-2,-1*K.1-K.1^-1,K.1+K.1^-1,-1*K.1^2-K.1^-2,K.1+K.1^-1,-1*K.1-K.1^-1,-1*K.1^2-K.1^-2,-1*K.1-K.1^-1,K.1^2+K.1^-2,K.1^2+K.1^-2]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |2,2,2,2,0,0,2,2,-2,-2,K.1+K.1^-1,K.1^2+K.1^-2,0,0,0,0,K.1^2+K.1^-2,K.1+K.1^-1,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,-1*K.1-K.1^-1,-1*K.1^2-K.1^-2,-1*K.1-K.1^-1,-1*K.1^2-K.1^-2,K.1^2+K.1^-2,-1*K.1-K.1^-1,K.1^2+K.1^-2,-1*K.1^2-K.1^-2,-1*K.1-K.1^-1,-1*K.1^2-K.1^-2,K.1+K.1^-1,K.1+K.1^-1]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(20: Sparse := true); S := [ K |2,-2,2,-2,0,0,-2,2,-2*K.1^5,2*K.1^5,-1*K.1^2-K.1^-2,K.1^4+K.1^-4,0,0,0,0,-1*K.1^4-K.1^-4,K.1^2+K.1^-2,K.1^2+K.1^-2,-1*K.1^4-K.1^-4,-1*K.1^2-K.1^-2,K.1^4+K.1^-4,-1*K.1^3-K.1^7,K.1^3-K.1^5+K.1^7,K.1^3+K.1^7,-1*K.1^3+K.1^5-K.1^7,K.1^4+K.1^-4,-1*K.1^3-K.1^7,-1*K.1^4-K.1^-4,K.1^3-K.1^5+K.1^7,K.1^3+K.1^7,-1*K.1^3+K.1^5-K.1^7,K.1^2+K.1^-2,-1*K.1^2-K.1^-2]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(20: Sparse := true); S := [ K |2,-2,2,-2,0,0,-2,2,2*K.1^5,-2*K.1^5,-1*K.1^2-K.1^-2,K.1^4+K.1^-4,0,0,0,0,-1*K.1^4-K.1^-4,K.1^2+K.1^-2,K.1^2+K.1^-2,-1*K.1^4-K.1^-4,-1*K.1^2-K.1^-2,K.1^4+K.1^-4,K.1^3+K.1^7,-1*K.1^3+K.1^5-K.1^7,-1*K.1^3-K.1^7,K.1^3-K.1^5+K.1^7,K.1^4+K.1^-4,K.1^3+K.1^7,-1*K.1^4-K.1^-4,-1*K.1^3+K.1^5-K.1^7,-1*K.1^3-K.1^7,K.1^3-K.1^5+K.1^7,K.1^2+K.1^-2,-1*K.1^2-K.1^-2]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(20: Sparse := true); S := [ K |2,-2,2,-2,0,0,-2,2,-2*K.1^5,2*K.1^5,K.1^4+K.1^-4,-1*K.1^2-K.1^-2,0,0,0,0,K.1^2+K.1^-2,-1*K.1^4-K.1^-4,-1*K.1^4-K.1^-4,K.1^2+K.1^-2,K.1^4+K.1^-4,-1*K.1^2-K.1^-2,K.1^3-K.1^5+K.1^7,-1*K.1^3-K.1^7,-1*K.1^3+K.1^5-K.1^7,K.1^3+K.1^7,-1*K.1^2-K.1^-2,K.1^3-K.1^5+K.1^7,K.1^2+K.1^-2,-1*K.1^3-K.1^7,-1*K.1^3+K.1^5-K.1^7,K.1^3+K.1^7,-1*K.1^4-K.1^-4,K.1^4+K.1^-4]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(20: Sparse := true); S := [ K |2,-2,2,-2,0,0,-2,2,2*K.1^5,-2*K.1^5,K.1^4+K.1^-4,-1*K.1^2-K.1^-2,0,0,0,0,K.1^2+K.1^-2,-1*K.1^4-K.1^-4,-1*K.1^4-K.1^-4,K.1^2+K.1^-2,K.1^4+K.1^-4,-1*K.1^2-K.1^-2,-1*K.1^3+K.1^5-K.1^7,K.1^3+K.1^7,K.1^3-K.1^5+K.1^7,-1*K.1^3-K.1^7,-1*K.1^2-K.1^-2,-1*K.1^3+K.1^5-K.1^7,K.1^2+K.1^-2,K.1^3+K.1^7,K.1^3-K.1^5+K.1^7,-1*K.1^3-K.1^7,-1*K.1^4-K.1^-4,K.1^4+K.1^-4]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |2,2,2,2,0,0,-2,-2,0,0,K.1^2+K.1^-2,K.1+K.1^-1,0,0,0,0,K.1+K.1^-1,K.1^2+K.1^-2,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,-1*K.1^2+K.1^-2,1+2*K.1+K.1^2+K.1^-2,K.1^2-K.1^-2,1+2*K.1+K.1^2+K.1^-2,-1*K.1-K.1^-1,K.1^2-K.1^-2,-1*K.1-K.1^-1,-1-2*K.1-K.1^2-K.1^-2,-1*K.1^2+K.1^-2,-1-2*K.1-K.1^2-K.1^-2,-1*K.1^2-K.1^-2,-1*K.1^2-K.1^-2]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |2,2,2,2,0,0,-2,-2,0,0,K.1^2+K.1^-2,K.1+K.1^-1,0,0,0,0,K.1+K.1^-1,K.1^2+K.1^-2,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2-K.1^-2,-1-2*K.1-K.1^2-K.1^-2,-1*K.1^2+K.1^-2,-1-2*K.1-K.1^2-K.1^-2,-1*K.1-K.1^-1,-1*K.1^2+K.1^-2,-1*K.1-K.1^-1,1+2*K.1+K.1^2+K.1^-2,K.1^2-K.1^-2,1+2*K.1+K.1^2+K.1^-2,-1*K.1^2-K.1^-2,-1*K.1^2-K.1^-2]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |2,2,2,2,0,0,-2,-2,0,0,K.1+K.1^-1,K.1^2+K.1^-2,0,0,0,0,K.1^2+K.1^-2,K.1+K.1^-1,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,-1-2*K.1-K.1^2-K.1^-2,-1*K.1^2+K.1^-2,1+2*K.1+K.1^2+K.1^-2,-1*K.1^2+K.1^-2,-1*K.1^2-K.1^-2,1+2*K.1+K.1^2+K.1^-2,-1*K.1^2-K.1^-2,K.1^2-K.1^-2,-1-2*K.1-K.1^2-K.1^-2,K.1^2-K.1^-2,-1*K.1-K.1^-1,-1*K.1-K.1^-1]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |2,2,2,2,0,0,-2,-2,0,0,K.1+K.1^-1,K.1^2+K.1^-2,0,0,0,0,K.1^2+K.1^-2,K.1+K.1^-1,K.1+K.1^-1,K.1^2+K.1^-2,K.1+K.1^-1,K.1^2+K.1^-2,1+2*K.1+K.1^2+K.1^-2,K.1^2-K.1^-2,-1-2*K.1-K.1^2-K.1^-2,K.1^2-K.1^-2,-1*K.1^2-K.1^-2,-1-2*K.1-K.1^2-K.1^-2,-1*K.1^2-K.1^-2,-1*K.1^2+K.1^-2,1+2*K.1+K.1^2+K.1^-2,-1*K.1^2+K.1^-2,-1*K.1-K.1^-1,-1*K.1-K.1^-1]; x := CR!S; x`IsCharacter := true; x`Schur := 0; x`IsIrreducible := true; K := CyclotomicField(20: Sparse := true); S := [ K |2,-2,2,-2,0,0,2,-2,0,0,-1*K.1^2-K.1^-2,K.1^4+K.1^-4,0,0,0,0,-1*K.1^4-K.1^-4,K.1^2+K.1^-2,K.1^2+K.1^-2,-1*K.1^4-K.1^-4,-1*K.1^2-K.1^-2,K.1^4+K.1^-4,-1*K.1^3-K.1^-3,K.1+K.1^-1,-1*K.1^3-K.1^-3,-1*K.1-K.1^-1,-1*K.1^4-K.1^-4,K.1^3+K.1^-3,K.1^4+K.1^-4,-1*K.1-K.1^-1,K.1^3+K.1^-3,K.1+K.1^-1,-1*K.1^2-K.1^-2,K.1^2+K.1^-2]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(20: Sparse := true); S := [ K |2,-2,2,-2,0,0,2,-2,0,0,-1*K.1^2-K.1^-2,K.1^4+K.1^-4,0,0,0,0,-1*K.1^4-K.1^-4,K.1^2+K.1^-2,K.1^2+K.1^-2,-1*K.1^4-K.1^-4,-1*K.1^2-K.1^-2,K.1^4+K.1^-4,K.1^3+K.1^-3,-1*K.1-K.1^-1,K.1^3+K.1^-3,K.1+K.1^-1,-1*K.1^4-K.1^-4,-1*K.1^3-K.1^-3,K.1^4+K.1^-4,K.1+K.1^-1,-1*K.1^3-K.1^-3,-1*K.1-K.1^-1,-1*K.1^2-K.1^-2,K.1^2+K.1^-2]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(20: Sparse := true); S := [ K |2,-2,2,-2,0,0,2,-2,0,0,K.1^4+K.1^-4,-1*K.1^2-K.1^-2,0,0,0,0,K.1^2+K.1^-2,-1*K.1^4-K.1^-4,-1*K.1^4-K.1^-4,K.1^2+K.1^-2,K.1^4+K.1^-4,-1*K.1^2-K.1^-2,-1*K.1-K.1^-1,-1*K.1^3-K.1^-3,-1*K.1-K.1^-1,K.1^3+K.1^-3,K.1^2+K.1^-2,K.1+K.1^-1,-1*K.1^2-K.1^-2,K.1^3+K.1^-3,K.1+K.1^-1,-1*K.1^3-K.1^-3,K.1^4+K.1^-4,-1*K.1^4-K.1^-4]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(20: Sparse := true); S := [ K |2,-2,2,-2,0,0,2,-2,0,0,K.1^4+K.1^-4,-1*K.1^2-K.1^-2,0,0,0,0,K.1^2+K.1^-2,-1*K.1^4-K.1^-4,-1*K.1^4-K.1^-4,K.1^2+K.1^-2,K.1^4+K.1^-4,-1*K.1^2-K.1^-2,K.1+K.1^-1,K.1^3+K.1^-3,K.1+K.1^-1,-1*K.1^3-K.1^-3,K.1^2+K.1^-2,-1*K.1-K.1^-1,-1*K.1^2-K.1^-2,-1*K.1^3-K.1^-3,-1*K.1-K.1^-1,K.1^3+K.1^-3,K.1^4+K.1^-4,-1*K.1^4-K.1^-4]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |4,-4,-4,4,0,0,0,0,0,0,2*K.1^2+2*K.1^-2,2*K.1+2*K.1^-1,0,0,0,0,-2*K.1-2*K.1^-1,-2*K.1^2-2*K.1^-2,2*K.1^2+2*K.1^-2,2*K.1+2*K.1^-1,-2*K.1^2-2*K.1^-2,-2*K.1-2*K.1^-1,0,0,0,0,0,0,0,0,0,0,0,0]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |4,-4,-4,4,0,0,0,0,0,0,2*K.1+2*K.1^-1,2*K.1^2+2*K.1^-2,0,0,0,0,-2*K.1^2-2*K.1^-2,-2*K.1-2*K.1^-1,2*K.1+2*K.1^-1,2*K.1^2+2*K.1^-2,-2*K.1-2*K.1^-1,-2*K.1^2-2*K.1^-2,0,0,0,0,0,0,0,0,0,0,0,0]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |4,4,-4,-4,0,0,0,0,0,0,2*K.1^2+2*K.1^-2,2*K.1+2*K.1^-1,0,0,0,0,2*K.1+2*K.1^-1,2*K.1^2+2*K.1^-2,-2*K.1^2-2*K.1^-2,-2*K.1-2*K.1^-1,-2*K.1^2-2*K.1^-2,-2*K.1-2*K.1^-1,0,0,0,0,0,0,0,0,0,0,0,0]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; K := CyclotomicField(5: Sparse := true); S := [ K |4,4,-4,-4,0,0,0,0,0,0,2*K.1+2*K.1^-1,2*K.1^2+2*K.1^-2,0,0,0,0,2*K.1^2+2*K.1^-2,2*K.1+2*K.1^-1,-2*K.1-2*K.1^-1,-2*K.1^2-2*K.1^-2,-2*K.1-2*K.1^-1,-2*K.1^2-2*K.1^-2,0,0,0,0,0,0,0,0,0,0,0,0]; x := CR!S; x`IsCharacter := true; x`Schur := 1; x`IsIrreducible := true; _ := CharacterTable(G : Check := 0); chartbl_160_16:= KnownIrreducibles(CR);