differential presentations have source the cycle basis