Open Airini opened 7 years ago
In accordance to the actual definition of a module vs a vector space in mathematics (given the current Ring constraint on the associated type family Scalar of the class VectorSpace, which should be Field instead for the latter class).
Ring
Scalar
VectorSpace
Field
In accordance to the actual definition of a module vs a vector space in mathematics (given the current
Ringconstraint on the associated type familyScalarof the classVectorSpace, which should beFieldinstead for the latter class).