Work

The efficiency of a homology algorithm based on discrete morse theory and coreductions (extended abstract)