weighted Euler characteristic

  1. redirect Behrend function