Computational procedures for weighted projective spaces