Degree_of_an_algebraic_variety loading ...