You need to enable JavaScript to run this app.
Expii
Characterizing Discrete Valuation Rings (DVRs) - Expii