While deciding whether/how/when we want to do with #76, we should explain the current assumptions on $X$ (that it has dimension $k-1$ and is generically reduced with respect to its defining equations) more clearly in the documentation and the README.
While deciding whether/how/when we want to do with #76, we should explain the current assumptions on$X$ (that it has dimension $k-1$ and is generically reduced with respect to its defining equations) more clearly in the documentation and the README.