Ajouté par Serge Torres il y a presque 13 ans
Bug fix in slz_compute_polynomial_and_interval: take the internal Sollya precision into account.Lots of memory management and variable renaming.
Voir les différences