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: Dec 13 2025 at 12:42 UTC