Gudhi integration#9

alexjmccleary wants to merge 3 commits into

maincompTAG/pyECT:mainfrom

Non-lower-star-filtrationscompTAG/pyECT:Non-lower-star-filtrationsCopy head branch name to clipboard