Chow_variety loading ...