Applications of Some Properties of the Canonical Module in Computational Projective Algebraic Geometry