Dear forum members, I have a finitely generated matrix algebra over the rationals that I know is not a field but contains zero divisors. To find one (and this seems to be quite suitable) I simply use: i:=First(rc.algebra, a-> Determinant(a)=0 and a <> 0*I);
Sometimes it works for 120x120 matrices within a reasonable time, sometimes I have to give up after several hours even with 24x24 matrices. Does anybody know how to do this another way with more chance for a success? Thanks, Marc Bogaerts _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum