Quelle  MatDiagonal.tst   Sprache: unbekannt

# Issue #36
# Incorrect size of matrix

gap> old:=InfoLevel(InfoRecog);;
gap> SetInfoLevel(InfoRecog, 0);
gap> seedMT :=
> [
>   "\342Wg\343\rFhS\253*\>\217O\256\336\375\252\324\202\236>\254tIP\r(\366\005\\
> 354\247\207\017\032\246\265}\211n\215\347\317DZ%\c\203\030\313\353\347\311\375\
> $!WJ\330oyY\227\334\256`\252[h\036\302,\<&&v\307\033dU\212n\311\314\023!j\306\
> \204 \233\245\376\314\240\016\371\375\310w\253;z\317\371\321\266\357Ib:\325\
> \334\242<\305\020\312R\316\376[\336\350\373W\307\253r\320\253, \311b\360\022\
> \311I|\371\031\007\024HF{v\022\305\034\c\276\023\3354\225\362l\224\307\355=1\
> \200a\336\325!\273i\360\214\210`\025\377r\245\250\221\024\231\230+\327\231hS\
> \212@\246\263\351W\231\231\301\<Mm\271!\363\357M\2761(2\242\300\032\<IF\335\
> \303\376\22058\303O>\t\212Q\027\250\327\231\273\203^\033\265\274\301E\"\033/\
> \0312*mC\314\315\261\205\350\337\022\262\247\305\253\352\3343\211\266t*\374\
> \362\323Y(<\c\202\"\\\033\363\264b\203\2601\353\357\257\260\343\316\315Y'\344\
> \316\363u\341\311\325\3541\266nA\357\352\017\261\357\353\336\304\365Ao\307\013\
> ag,\343n\204)\366p\343{\203\007]\236J\252\255\354\257\335\221\247\357\356\265z\
> {\020f\255\203\242\375\351\261\0328\272 \352\021\247\036\354\256v?\356g\237\
> \307\034[8\225q\220{\346Y6\263YA\t\2671\262\261\324f\204\215\367\351\357q\213T\
> \207\330p4\224\034\250\246yH\304\220^\232}]\320\261\277\223j\263+0\214\365s\
> \177\301\233\031\<\236\350B\034\276\362\211y\301\372\3313\315\331\027\355>\205\
> ?j\031Ea\213\020B\306%\027\256\303\212\004p\322\271\022\304\210\251\226\277\
> \204\037.sj\367\004\314B4\202B\027\230\216\357\356\205\005\257\265\365$+b\211\
> \333\231\313\222*\301\360\360%e<\241\310\335\211\361\006[\250]\234\c\362oP\>\
> \210\211ws\373 v\347@\356\344\364j\2734!iBx\300s{+\032\234\244\240\373\>\215\
> \276\300g\227M\353\0319\321Yo[\313k\000\231\225\225Pt+\346\264\322\304\177ES\
> \372\367\277\252\033\2323z\223T\343\225\020\366\217,\330\321>\240\017\353\"\
> \250\263\026\007N\202\357\357q\tz\310\207Dg=)%\346\234g\<\207n\241>\3706]\307y\
> \274\035\267\341'\022D\353\030\246\221\2140\245Y\352\323-\023s\023\032^\2363\
> \312f\311\347\247\254\361S\305\026\r'\204\311\255\3119\342\3648\247\261O\035V\
> \203\261\207\230j\250\346\247f\306?],@\363P\327N3\373\200>\025\016\030\<\331X\
> \006\300\023\330\333\310\030\b\r&\367\362\214+x\202\310\220R\241L\r\275\204\
> \017S\rW^?`\026-\004\214\340!\312o\013\b\330\343\2711\247T\007Q\275`\254H\3538\
> \034e\2441ev|\312\027j\320}\306\r\207\333\031\237D\323UW\210\300\250\376\236 Q\
> \213\347\302\345\311\213/\354\203a\205t\367\355\020c\335\326\367:\262\373N?\
> \351@c\371u\331\037E)\376HMn=\372b@\3211\020\212P\357\c\241T<\252\330\005\177\
> \265\253\336\366X\376\325\365\323\030X\225?p\370\363}\355\"\022\215\204\362\
> \344\356\330~$\361\304P\016\274\357.f\013(\034\373\310\277\231\337\256\213\030\
> \320\033\223\n0\211\c\310\375\264\017n9\251\3579\016?|\234\237\024\<\202\035\
> \221\306'\272\335L7\315u\030\302\222|\360\375\376a<_\277\005M}\354\025=\037\
> \251\334\323\317u\353\350\374`\200\257\317XV)\265fI\237b\352\231\023\b\362{9M\
> \321\017\310\024\3004\274\300\020\371O\006\005\373\204\263\364Q\276\200\r\341\
> \274\256\362\226\355m\305'_\205\317\263B\253#&\252\326ve\253,6\321n-U\2377D.+\
> \263\351\223\242\303\271J\366\276\255\354D\c\2757q\207\363)N\343\226\302\342\
> \357\262\360\2217\301<\334\317\214\357R\201\274le\265\270\375\304\032Jd\217\
> \203\372\341\026\353\216C\\\357\201SS\222\342\247e\215+\022\370&\032'\374\3761\
> w\253I\346>&\326H=\333\251\3249\300\244\036`\234\373\232L \216\231\270\377x\
> \315\325}\024\272\316q\204\333\365\362K\007\314\351Y\205\330cQr\322\303\177\
> \004\240\253`\237\341\226\3221\n\332\\ \030*b'~\217@\362nJt\026\205\<\005]J\
> \013a\340_ywD\240\210\321\344\267;m\304\333A|_\353\373xI?Y\036\204\024\330R\r\
> \274Z\365\303\301\335\"n\251\353n\023\221?m\250Y\242\323\210G\262\226\302#Bm\>\
> \202\304\274+\247\016\246\0270Tq\225l\240\225\252\270Y\260\261\367\261\327\212\
> }\307qPV\261\226\322{c\007\315\372\234\205(:\274h\230\366x\203}\301\352\007\
> \004\033\007\034;\352\236b!_U\331U\342%U\037\177i\004a\266-\231\225/\275\322=\
> \251\322\246\226T6y\236ql\307#\013\266*\343|\nt\265\375\307\306\362#\234y\366\
> \005\304\277\307!P\362\250\r\225\016\013\261G\332\203\271\256\030\334'\025@N\
> \312\0341\275\350~E\365\252\207-0h\257gA\"\372\255^\333\254X\345h~\351lH\"\365\
> V\004\272\340\246\211X\214\376\021\221\221\277\260K[\311\333<u*\246AAM\204\350\
> \207\311!\236\260\270\3627I\360D:[\345t\2614D\000\004\204K\206i%\235\2756\000\
> \374\207-4^#\031\240\336\350\372\267\036\027\361\253\367\2761%\216Q\212\203\
> \371j;\371X6\266\321\257\242\260\213\240\346#\317\334\230\226\305#\252\005\013\
> \000:\311V\264\263Q\235\327\206\033\344\207\237u\r\376\341]\335+a@\300\277\341\
> \222r\223\005\304 \215\023u\023^\331\311\261$\276\240\343(\227\363\323\343K\
> \316\316\232\362\b\325il\034\247\333\322jf\3313\356\242G\266Cq\016\340`\250\
> \346\241\274\035\271+\274x\246\264\356\265\216\006\203\006\244\372\031\357]+\
> \357N\335\217\247\035\021H\323\332\304\251\355\332x\000k\376\>\211\207\275J\
> \332K\211\017\2110\277\372\303?c\270\335>\330\2135\301\37389\340\224%\033\364\
> \327\214Z\023\310\217\267\007\343\357T#\337\232f\251N\333\272\037\364\306\272\
> \333\256\273\356SG\343\n$\353\371\347g\276\227(\022\201\224\260\035\357t\262\
> \032\233)\250\260\025\235(\274\302\272\302\251W\n\326\355z \263\252\354\014\
> \024\211\017F\236\211\244^t\253\250@\346-\222\246\257\>dWu,\321\364dS\"JYe\346\
> /\311\007\031\004u\031+US:k\222#\227\372Ft1\365J,\205\241\021^\332>\373*L\023'\
> \3007\301\273\220\206:\024\211E\004[\332\341J\255\325\251R\306\"\037\024\<\250\
> F}\004\311<\>p\036\355\241NI\273\360\274\316uWv\2648\360\356\325Y\230\000[71'\
> \301H\026\312W\252\005\033\203\365\235%d\0348\033\233\017\365\223\2376\235u\
> \3165\351\375\036Zf\251\3119\340\2213\333`\263I\306n9\367\261\226r\257\2158 \
> \203\c8\264\227U\357\177\260y\031\207\251\312\302\245q\306\236\004\270B0\360\
> \317w~\313E\367\270\317\366\252\340]i\037\c\320\014s*l\252\031\315#-\233\333\
> \243\361\005\271\377\360\205U%M\247\035\324 \275\"\020\004\030\371\260K\276S|\
> \202[~\247\333B\235\214\265\345E\024\275a\314\312\203\327)\035\202|\231$\321Dp\
> \233\005\253y\213\2045\251\375<\304\375#\347M\017\020Y\265Y\266@\n=\300\236\
> \231c\037T*\0008\306\214C\342\023\312\"L\305\237H\005\020B~\211\224\306\310\
> \324/\262a\263\337\"\367P\200b\017\373MeH\277\326Yc\323\315qp5%\037v5_%\350XM\
> \2057\257]\266\000\262\267\016\025\016\347\340\007BA\363plN\370\335:\264#3\224\
> P\037\t\301Z\240\330\204\207Tdd\346\372'\275\372,3\376\033\cU\t\200V\300D\375|\
> 7$\227nI\320\326j\032\213L\276\367m^\\\030\344\t\004\220\376\006\312\223\n\210\
> e\246{\360\224U{\200\331\024=q1\023\202|\023g\242\204\345\220=\322\352\215\025\
> lm\264\313\026\313\332;/\316(\277\0309N\307\216k2\275<\204\270\322b\367\273\
> \347\262G\225c\311\370\236@ZD\036e\277\323F\271\241p}\210\035H\332z\3761\355kC\
> +\324\234Ik\351\340\245+7;,\\<iP+(q5\3208Z\357W\246\365q[\313\266\033\203\364L\
> \327\240\000\225E \355_?\272\357\004\225\203\000Bna*\230\255\275k#2\264\022\
> \350\323L\336\221?\201\026\310\217\331\022\353!\031Re\240\013\036\370GW\242\
> \004\\.cg\361\020\360p\303\271\317\323\360!Ypx\r\344W]]\253\366\024\")\262Sr\
> \221\311\354(\215i\022\241z\0044c6\274\216\205\214M\375\350\275CR\303\251\366Q\
> \256:\340\027\317\373\025\021=>T\364\324\237\ns\017\343MF\351\022\216x\272\005\
> N\266T\245\355\314q\251sj\262\222\276b\317\204a\033\321\355\214L\035\227\331\
> \036z\324\333\024\252~r\265^:k\233AT\335\243\370-'b\306B\356\323\202=\025GJ\
> \336\325N\331\306\213\342}\200\245SQ\355\000\000\0001234" ];;
gap> seedRS :=
> [ 6, [ 146487578, 151170806, 174022507, 136192547, 217555709, 87857078,
>       229118152, 103704842, 65585386, 187622711, 100975804, 5419047,
>       52910362, 106039371, 221398879, 132331717, 129694111, 139869489,
>       100343967, 209941762, 154750959, 231237274, 116483933, 76308425,
>       3988426, 248046313, 210400711, 31075997, 26294231, 32111287, 161884052,
>       114912811, 172136638, 216323986, 124870034, 265636084, 218856851,
>       140030024, 204529666, 54834742, 155200591, 106578924, 226830471,
>       123686309, 200587773, 149562614, 42135753, 52830977, 85445807,
>       171936145, 52286124, 167805091, 33855988, 262358503, 52111726 ] ];;
gap> Reset(GlobalMersenneTwister, seedMT);;
gap> Reset(GlobalRandomSource, seedRS);;
gap> z := Z(3^2);;
gap> diags := [
>   [ z^7, z^6, z, z^6, z^3, Z(3)^0, z^5 ],
>   [ z^3, z^5, z^4, z^3, z^2, z^6, z^3 ],
>   [ z^2, z, z^3, z^7, z^5, z^0, z^3 ],
>   [ z, z^7, z^3, z^6, z^4, z^5, z^4 ],
>   [ z^3, z^2, z^0, z^3, z^7, z, z^6 ]
> ];;
gap> gens := List(diags, DiagonalMat);;
gap> g := GroupWithGenerators(gens);;
gap> #repeat ri:=RecognizeGroup(g); until Size(ri)<>Size(g);
gap> ri:=RecognizeGroup(g);;
gap> Assert(0, Size(ri) = Size(g));
gap> SetInfoLevel(InfoRecog, old);