[GAP Forum] algorithm for finding orthogonal central primitive idempotents

[Jack Schmidt]

Every algorithm in GAP is given in full for users to read and understand.

This one is stored in lib/algebra.gi and an overview is given of how it 
works in that file (around line 3400).  At the end of the overview is 
the comment:

##   For a more elaborate description we refer to "W. Eberly and M.
##   Giesbrecht, Efficient Decomposition of Associative Algebras,
##   Proceedings of ISSAC 1996."

After that comment, the full source code of CentralIdempotentsOfAlgebra 
is given.

董井成 wrote:
> Dear forum,Dear everyone:
> I would like to know the algorithm of the function CentralIdempotentsOfAlgebra( A ).Please tell me if you know.
> Best wishes!
> Jingcheng Dong