You probably could also use Grassmann.jl for this, it is an oriented algebra capable of spherical projective geometry (and also toroidal geometry, etc) in higher dimensions, along with automatic differentiation and rotational algebras.
You probably could also use Grassmann.jl for this, it is an oriented algebra capable of spherical projective geometry (and also toroidal geometry, etc) in higher dimensions, along with automatic differentiation and rotational algebras.