dianalytic manifold