Symmetric_product_of_an_algebraic_curve loading ...