Homological_mirror_symmetry loading ...