Separate out discrete morse theory

README.md

@@ -38,6 +38,18 @@ These 1464 triangulations have all been shown to be PL-Homeomorphic to
 each other using retriangulate, however, polymake has big difficulties
 in finding the PL-homeomorphisms between them. 
 
+### S⁴
+
+These 1016 triangulations are triangulations of S⁴ shown to be
+PL-homeomorphic to S⁴ using the retriangulate tool, for which no other
+methods (bistellar simplification, discrete morse theory) worked.
+
+### S⁴-discretemorse
+
+These 48 triangulations have been shown to be PL-homeomorphic to S⁴ by
+finding a spherical discrete morse vector.
+
+
 
 
 

scripts/README.md

@@ -33,3 +33,18 @@ INSERT INTO minimal_triangulations SELECT DISTINCT ON (signature) * FROM triangu
 ```
 
 Remove combinatorially isomorphic triangulations by running `triangulation_bookkeeping_minimal.pl`, and output sorted by type using `triangulation_bookkeeping_output.pl`
+
+
+### Spheres
+
+Additionally, sort spheres for which a spherical discrete morse vector was found with
+
+```
+for k in $(psql -d researchdata_test -c "SELECT signature FROM complexes WHERE remark = 'discrete_morse';" | grep '^ g' | sed 's/ //g' ) ; 
+do 
+	p=$(find . -name *$k*); 
+	npt=../S^4-discretemorse/$p; 
+	mkdir -p $(dirname $npt); 
+	mv $p $npt; 
+done
+```