Persistent homology

Moved to here.