9.3 Construction of complexes of first-order differential operators