Contents:
Defined in File reduction.hpp
incrementally update barcode
see quiver/sparse.hpp barcode_from_barcode_form