trait
VectorSpace[V, F] extends Module[V, F]
Abstract Value Members
-
abstract
def
negate(x: V): V
-
abstract
def
plus(x: V, y: V): V
-
implicit abstract
def
scalar: Field[F]
-
abstract
def
timesl(r: F, v: V): V
-
abstract
def
zero: V
Concrete Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
def
additive: AbGroup[V]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
divr(v: V, f: F): V
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
minus(x: V, y: V): V
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
timesr(v: V, r: F): V
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
A vector space is a group
V
that can be multiplied by scalars inF
that lie in a field. Scalar multiplication must distribute over vector addition (x *: (v + w) === x *: v + x *: w
) and scalar addition ((x + y) *: v === x *: v + y *: v
). Scalar multiplication by 1 inF
is an identity function (1 *: v === v
). Scalar multiplication is "associative" (x *: y *: v === (x * y) *: v
).