core/spire.algebra/FieldAssociativeAlgebra

FieldAssociativeAlgebra

trait FieldAssociativeAlgebra[V, @specialized(Float, Double) F] extends RingAssociativeAlgebra[V, F] with VectorSpace[V, F]

A FieldAlgebra is a vector space that is also a Ring. An example is the complex numbers.

Companion
object
trait VectorSpace[V, F]
trait Ring[V]
trait Rng[V]
trait Rig[V]
trait MultiplicativeMonoid[V]
trait Semiring[V]
trait MultiplicativeSemigroup[V]
trait CModule[V, F]
trait RightModule[V, F]
trait LeftModule[V, F]
trait AdditiveCommutativeGroup[V]
trait AdditiveCommutativeMonoid[V]
trait AdditiveCommutativeSemigroup[V]
trait AdditiveGroup[V]
trait AdditiveMonoid[V]
trait AdditiveSemigroup[V]
trait Serializable
class Any

Value members

Inherited methods

override
def additive: CommutativeGroup[V]
Definition Classes
AdditiveCommutativeGroup -> AdditiveCommutativeMonoid -> AdditiveCommutativeSemigroup -> AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveCommutativeGroup
def divr(v: V, f: F): V
Inherited from
VectorSpace
def fromBigInt(n: BigInt): V

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
def fromInt(n: Int): V

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
def isOne(a: V)(implicit ev: Eq[V]): Boolean

Tests if a is one.

Tests if a is one.

Inherited from
MultiplicativeMonoid
def isZero(a: V)(implicit ev: Eq[V]): Boolean

Tests if a is zero.

Tests if a is zero.

Inherited from
AdditiveMonoid
def minus(x: V, y: V): V
Inherited from
AdditiveGroup
override
def multiplicative: Monoid[V]
Definition Classes
MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from
MultiplicativeMonoid
def negate(x: V): V
Inherited from
AdditiveGroup
def one: V
Inherited from
MultiplicativeMonoid
def plus(x: V, y: V): V
Inherited from
AdditiveSemigroup
override
def pow(a: V, n: Int): V
Definition Classes
MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from
MultiplicativeMonoid
@nowarn("msg=deprecated")
def product(as: IterableOnce[V]): V

Given a sequence of as, compute the product.

Given a sequence of as, compute the product.

Inherited from
MultiplicativeMonoid
@nowarn("msg=deprecated")
def sum(as: IterableOnce[V]): V

Given a sequence of as, compute the sum.

Given a sequence of as, compute the sum.

Inherited from
AdditiveMonoid
override
def sumN(a: V, n: Int): V
Definition Classes
AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveGroup
def times(x: V, y: V): V
Inherited from
MultiplicativeSemigroup
def timesl(r: F, v: V): V
Inherited from
LeftModule
override
def timesr(v: V, r: F): V
Definition Classes
Inherited from
CModule
@nowarn("msg=deprecated")
override
def tryProduct(as: IterableOnce[V]): Option[V]
Definition Classes
MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from
MultiplicativeMonoid
@nowarn("msg=deprecated")
override
def trySum(as: IterableOnce[V]): Option[V]
Definition Classes
AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveMonoid
def zero: V
Inherited from
AdditiveMonoid

Implicits

Inherited implicits

implicit
def scalar: Field[F]
Inherited from
VectorSpace