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

Reply via email to