Describir: Projective geometry with applications/