Spracherkennung für: .gi vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#############################################################################
##
#W unithom.gi Alnuth - Kant Interface Bjoern Assmann
##
#############################################################################
##
## ExamUnimod contains 3 lists of matrices in GL(d,Z). Each of them
## generates a torsion-free abelian group with semisimple matrix algebra.
##
## Remark: These exemples were generated as normalsubgroupsgenerators
## of the kernel of the p-congruence homomorphism applied to
## MatExamples. The order is changes
## MatExamples(2) corresponds to ExamUnimod[1]
## MatExamples(3) corresponds to ExamUnimod[2]
## MatExamples(4) corresponds to ExamUnimod[3]
#############################################################################
##
#F ExamUnimod(n)
##
ExamUnimod:=function(n)
local matrixlist;
matrixlist:=
[
[ [ [ 2093340575128, 6213435078921, 17560570361343, -28693642181391 ],
[ -3625838403333, -10761656507462, -30415567443933,
49698063067818 ],
[ 1293798337794, 3839901865707, 10852879181962, -17733140676042 ]
,
[ -1314714587787, -3902311263375, -11028829922394, 18020890988656
] ],
[ [ 398946457, -197870628, -271469520, 913773168 ], [ 690995412,
-342721799, -470198736, 1582701120 ],
[ 246562392, -122290656, -167777219, 564742596 ],
[ 329632680, -163492104, -224303736, 755012245 ] ],
[ [ 57641556673, -51250063536, -73214376480, 161071628256 ],
[ 21964312944, 28355806081, 43928625888, 0 ],
[ -14642875296, 43928625888, 64962994321, -80535814128 ],
[ 0, 29285750592, 43928625888, -37537132751 ] ],
[ [ 13, 0, -21, 0 ], [ -42, 97, 105, -231 ], [ -21, 0, 34, 0 ],
[ -21, 21, 42, -50 ] ],
[ [ 6113341760402965, -3032143586011050, -4159967272068153,
14002438585824810 ],
[ 10588511869480164, -5251666322974043, -7205040811308855,
24252552936374367 ],
[ 3778184141734557, -1873864241780610, -2570850209123252,
8653736311352880 ],
[ 5051133104082267, -2505235179386847, -3437063756709534,
11569395035183716 ] ],
[ [ -929944511, 51250063536, 73214376480, -161071628256 ],
[ -21964312944, 28355806081, -43928625888, 0 ],
[ 14642875296, -43928625888, -8251382159, 80535814128 ],
[ 0, -29285750592, -43928625888, 94248744913 ] ],
[ [ 66665305, 197870628, 559233360, -913773168 ],
[ -115467732, -342721799, -968620464, 1582701120 ],
[ 41201448, 122290656, 345625141, -564742596 ],
[ -41868840, -124271736, -351223944, 573891037 ] ],
[ [ -929944511, 51250063536, 73214376480, -161071628256 ],
[ -21964312944, 28355806081, -43928625888, 0 ],
[ 14642875296, -43928625888, -8251382159, 80535814128 ],
[ 0, -29285750592, -43928625888, 94248744913 ] ],
[ [ -929944511, 51250063536, 73214376480, -161071628256 ],
[ -21964312944, 28355806081, -43928625888, 0 ],
[ 14642875296, -43928625888, -8251382159, 80535814128 ],
[ 0, -29285750592, -43928625888, 94248744913 ] ],
[ [ 34, 0, 21, 0 ], [ 42, -50, -105, 231 ], [ 21, 0, 13, 0 ],
[ 21, -21, -42, 97 ] ],
[ [ 3385900582, -1680337008, -2305472631, 7756555653 ],
[ 5861155020, -2905320200, -3985748151, 13422579324 ],
[ 2090409006, -1035207621, -1420053053, 4785959871 ],
[ 2795550429, -1385267583, -1900360644, 6401474647 ] ],
[ [ 13, 0, -21, 0 ], [ -42, 97, 105, -231 ], [ -21, 0, 34, 0 ],
[ -21, 21, 42, -50 ] ],
[ [ 242047, -215208, -307440, 676368 ], [ 92232, 119071, 184464, 0 ],
[ -61488, 184464, 272791, -338184 ],
[ 0, 122976, 184464, -157625 ] ] ]
,
[ [ [ -17555, -25515, -19929, 32571 ], [ 30387, 44164, 34503, -56364 ],
[ 28392, 41265, 32236, -52668 ], [ 19362, 28140, 21987, -35909 ]
],
[ [ 1351, -780, 0, 0 ], [ -2340, 1351, 0, 0 ], [ 5460, 6240, 5251,
-8580 ], [ 780, 2340, 1560, -2549 ] ],
[ [ 5044200094, 3284045655, 3464193024, -5660403408 ],
[ -8736810795, -5688133874, -6000158304, 9804106224 ],
[ 3117487071, 2029651800, 2140989019, -3498321651 ],
[ -2217936039, -1443995685, -1523206542, 2488880785 ] ],
[ [ 1351, 780, 0, 0 ], [ 2340, 1351, 0, 0 ],
[ -5460, -6240, -2549, 8580 ], [ -780, -2340, -1560, 5251 ] ],
[ [ 445, 285, 303, -495 ], [ -771, -494, -525, 858 ],
[ 288, 195, 202, -330 ], [ -192, -120, -129, 211 ] ],
[ [ 5044200094, 3284045655, 3464193024, -5660403408 ],
[ -8736810795, -5688133874, -6000158304, 9804106224 ],
[ 3117487071, 2029651800, 2140989019, -3498321651 ],
[ -2217936039, -1443995685, -1523206542, 2488880785 ] ],
[ [ -64949609, -94398330, -73739913, 120489633 ],
[ 112494768, 163500796, 127720299, -208690878 ],
[ 105089865, 152738475, 119313055, -194954199 ],
[ 71703495, 104214405, 81408309, -133017998 ] ],
[ [ -3051232082, -4434686265, -3464193024, 5660403408 ],
[ 5284888965, 7681101886, 6000158304, -9804106224 ],
[ 4936997199, 7175473080, 5605182043, -9158725059 ],
[ 3368576649, 4895917515, 3824487762, -6249115823 ] ],
[ [ -3051232082, -4434686265, -3464193024, 5660403408 ],
[ 5284888965, 7681101886, 6000158304, -9804106224 ],
[ 4936997199, 7175473080, 5605182043, -9158725059 ],
[ 3368576649, 4895917515, 3824487762, -6249115823 ] ],
[ [ 1351, -780, 0, 0 ], [ -2340, 1351, 0, 0 ],
[ 5460, 6240, 5251, -8580 ], [ 780, 2340, 1560, -2549 ] ],
[ [ 181150, 193440, 73353, -246906 ],
[ 313755, 335044, 127047, -427647 ],
[ -293103, -312990, -118685, 399498 ],
[ 164082, 175215, 66441, -223643 ] ],
[ [ 1351, -780, 0, 0 ], [ -2340, 1351, 0, 0 ],
[ 5460, 6240, 5251, -8580 ], [ 780, 2340, 1560, -2549 ] ],
[ [ 220027, 143250, 151107, -246906 ],
[ -381093, -248111, -261723, 427647 ],
[ 135981, 88530, 93388, -152592 ],
[ -96744, -62985, -66441, 108562 ] ] ]
,
[ [ [ -492568055, -715902540, -559233360, 913773168 ],
[ 853152732, 1239979321, 968620464, -1582701120 ],
[ 796991748, 1158354480, 904858501, -1478515764 ],
[ 543797628, 790360020, 617396520, -1008810083 ] ],
[ [ -348686135, -530151780, -271469520, 913773168 ],
[ -603941868, -918249479, -470198736, 1582701120 ],
[ -215499732, -327651600, -167777219, 564742596 ],
[ -793008492, -1205711460, -617396520, 2078172517 ] ],
[ [ -151935722, -225045135, -150030090, 330066198 ],
[ 45009027, 58106404, 90018054, 0 ],
[ 105021063, 150030090, 133121449, -165033099 ],
[ -45009027, -75015045, 0, 193133485 ] ],
[ [ 13, 0, -21, 0 ], [ 147, 181, 105, -231 ], [ -21, 0, 34, 0 ],
[ 84, 105, 63, -134 ] ],
[ [ 670415977, 715902540, 271469520, -913773168 ],
[ 1161194148, 1239979321, 470198736, -1582701120 ],
[ -1084755588, -1158354480, -439246739, 1478515764 ],
[ 607257732, 648459180, 245895000, -827688875 ] ],
[ [ 814297897, 530151780, 559233360, -913773168 ],
[ -1410405012, -918249479, -968620464, 1582701120 ],
[ 503263572, 327651600, 345625141, -564742596 ],
[ -358046868, -233107740, -245895000, 401786125 ] ],
[ [ 141577573978831, 92174617804950, 97230886083807,
-158872797828558 ],
[ -245219551343241, -159651121205951, -168408834761919,
275175757779087 ],
[ 87499752763389, 56967046703190, 60091992355948,
-98188788945456 ],
[ -62251695137616, -40529202794985, -42752445237981,
69856409444878 ] ] ]
];
return matrixlist[n];
end;
