Poincaré_duality loading ...