isDirectSummand -- test whether one module is a direct summand of another

• Usage:

  isDirectSummand(L, M)

• Inputs:
  • L, a module, the candidate summand
  • M, a module, the ambient module
• Optional inputs:
  • Limit (missing documentation) => ..., default value null,
  • Splitting
  • Strategy (missing documentation) => ..., default value 3,
  • Tries (missing documentation) => ..., default value null,
  • Verbose (missing documentation) => ..., default value false,
• Outputs:
  • a Boolean value, whether the algorithm finds $L$ as a direct summand of $M$