collapseMF -- Converts a d-fold factorization into a (d-1)-fold factorization by composing the kth differential with the (k+1)th differential
ComplexMap ** ZZdFactorizationMap -- the map of ZZ/d-graded factorizations between tensor factorizations, obtained by first folding the relevant complex map
higherHomotopyFactorization -- Constructs the matrix factorization associated with a system of higher homotopies
Hom(Complex,ZZdFactorization) -- the ZZ/d-graded homomorphism factorization formed by folding the complex, then taking the ZZ/d-graded Hom factorization
Hom(ComplexMap,ZZdFactorizationMap) -- the map of factorizations between Hom factorizations formed by first folding the relevant complex map