Terminal and canonical weighted projective space in dimension 4

See "Classifying terminal weighted projective space", Alexander M. Kasprzyk, 2013.