A RingAssociativeAlgebra
is a R-module that is also a Ring
. An example is the Gaussian numbers, the quaternions,
etc...
The scalar multiplication satisfies, for r in R, and x, y in V:
1. r *: (x * y) = (r *: x) * y = x * (r *: y)
TODO: verify the definition, in particular the requirements for Ring[V] (and not Rng[V])
- Companion:
- object
Value members
Inherited methods
Convert the given BigInt to an instance of A.
Convert the given BigInt to an instance of A.
This is equivalent to n
repeated summations of this ring's one
, or
-n
summations of -one
if n
is negative.
Most type class instances should consider overriding this method for performance reasons.
- Inherited from:
- Ring
Convert the given integer to an instance of A.
Convert the given integer to an instance of A.
Defined to be equivalent to sumN(one, n)
.
That is, n
repeated summations of this ring's one
, or -n
summations of -one
if n
is negative.
Most type class instances should consider overriding this method for performance reasons.
- Inherited from:
- Ring
Given a sequence of as
, compute the product.
Given a sequence of as
, compute the product.
- Inherited from:
- MultiplicativeMonoid
Given a sequence of as
, compute the sum.
Given a sequence of as
, compute the sum.
- Inherited from:
- AdditiveMonoid