Summing over all Submanifolds

A write-up on the random manifold theorem is now available as a PDF. (July 28: and now the ArXiv) It contains the following code for the functional version of the theorem that allows to compute the average f-vector of a random manifold. It is again a bit intended as a …