In a previous post the body of the question mentions that this is always possible :
"Now, this can always be done (for example, by using the structure theorem for chain complexes over F2)."
What would be a constructive way of doing this?
(unlike the original post, I'm removing the other two restrictions)