Loading paper
The degree of a tropical basis | Tomesphere