I made an initial pass at defining hypersurfaces - it is far from compiling but it should give the basic idea.
It is in a new branch "dev".
I will have a look at the theory tomorrow.
A detail: Shouldn't the typedef surface be called hypersphere?
Last updated: Jan 13 2026 at 20:28 UTC