Loading paper
Non-degeneracy of the discriminant | Tomesphere