findIdempotents MThis routine constructs nontrivial idempotents in the endomorphism algebra of a module. When successful, those idempotents can be used to recover direct sum decompositions. This is the main splitting strategy for modules over local rings.
The object findIdempotents is a method function with options.
The source of this document is in DirectSummands/docs.m2:680:0.