Given two hyperplanes in projective space, there exist many PGL elements which map one hyperplane to the other. We add a method (hyperplane_transformation_matrix) to projective space to compute such a PGL element.

Depends on #31906

CC: @bhutz

Component: algebraic geometry

Keywords: gsoc2021

Author: Alexander Galarraga

Branch/Commit: b82de34

Reviewer: Ben Hutz

Issue created by migration from https://trac.sagemath.org/ticket/31954