Mori dream spaces form a large example class of algebraic varieties, comprising the well-known toric varieties. We provide a first software package for the explicit treatment of Mori dream spaces and demonstrate its use by presenting basic sample computations. The software package is accompanied by a Cox ring database which delivers defining data for Cox rings and Mori dream spaces in a suitable format. As an application of the package, we determine the common Cox ring for the symplectic resolutions of a certain quotient singularity investigated by Bellamy–Schedler and Donten-Bury–Wiśniewski.
Poisson traces, D-modules, and symplectic resolutions
