Entry tags:
just discovered an obvious trick
class Hyperplane extends VectorSpace({
require(dim > 0, "0-dimensional space does not have a hyperplane")
dim-1
}) {...
class Hyperplane extends VectorSpace({
require(dim > 0, "0-dimensional space does not have a hyperplane")
dim-1
}) {...