isValidChar -- whether a matrix is characteristic for a simplicial complex

• Usage:

  isValidChar(K,lambda)

• Inputs:
  • K, an abstract simplicial complex,
  • lambda, a matrix,
• Outputs:
  • a Boolean value,