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: Nov 16 2025 at 04:27 UTC