spireAD
0.0.9
DocsAPI
Generated with
spireAD/io.github.quafadas.spireAD/TejIsRing

TejIsRing

io.github.quafadas.spireAD.TejIsRing
trait TejIsRing[T] extends Ring[Tej[T]]

Attributes

Graph
Supertypes
trait Ring[Tej[T]]
trait Rng[Tej[T]]
trait AdditiveCommutativeGroup[Tej[T]]
trait AdditiveGroup[Tej[T]]
trait Rig[Tej[T]]
trait MultiplicativeMonoid[Tej[T]]
trait Semiring[Tej[T]]
trait MultiplicativeSemigroup[Tej[T]]
trait AdditiveCommutativeMonoid[Tej[T]]
trait AdditiveCommutativeSemigroup[Tej[T]]
trait AdditiveMonoid[Tej[T]]
trait AdditiveSemigroup[Tej[T]]
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
trait TejIsGCDRing[T]
trait TejIsField[T]
class TejAlgebra[T]

Members list

Value members

Concrete methods

override def fromInt(n: Int): Tej[T]

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.

Attributes

Definition Classes
Ring
override def minus(a: Tej[T], b: Tej[T]): Tej[T]

Attributes

Definition Classes
AdditiveGroup
def negate(a: Tej[T]): Tej[T]
def one: Tej[T]
def plus(a: Tej[T], b: Tej[T]): Tej[T]
override def pow(a: Tej[T], b: Int): Tej[T]

Attributes

Definition Classes
MultiplicativeMonoid -> MultiplicativeSemigroup
override def times(a: Tej[T], b: Tej[T]): Tej[T]

Attributes

Definition Classes
MultiplicativeSemigroup
def zero: Tej[T]

Inherited methods

override def additive: CommutativeGroup[Tej[T]]

Attributes

Definition Classes
AdditiveCommutativeGroup -> AdditiveCommutativeMonoid -> AdditiveCommutativeSemigroup -> AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from:
AdditiveCommutativeGroup
def fromBigInt(n: BigInt): Tej[T]

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.

Attributes

Inherited from:
Ring
def isOne(a: Tej[T])(implicit ev: Eq[Tej[T]]): Boolean

Tests if a is one.

Tests if a is one.

Attributes

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

Tests if a is zero.

Tests if a is zero.

Attributes

Inherited from:
AdditiveMonoid
override def multiplicative: Monoid[Tej[T]]

Attributes

Definition Classes
MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from:
MultiplicativeMonoid
def product(as: IterableOnce[Tej[T]]): Tej[T]

Given a sequence of as, compute the product.

Given a sequence of as, compute the product.

Attributes

Inherited from:
MultiplicativeMonoid
def sum(as: IterableOnce[Tej[T]]): Tej[T]

Given a sequence of as, compute the sum.

Given a sequence of as, compute the sum.

Attributes

Inherited from:
AdditiveMonoid
override def sumN(a: Tej[T], n: Int): Tej[T]

Attributes

Definition Classes
AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from:
AdditiveGroup
override def tryProduct(as: IterableOnce[Tej[T]]): Option[Tej[T]]

Given a sequence of as, combine them and return the total.

Given a sequence of as, combine them and return the total.

If the sequence is empty, returns None. Otherwise, returns Some(total).

Attributes

Definition Classes
MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from:
MultiplicativeMonoid
override def trySum(as: IterableOnce[Tej[T]]): Option[Tej[T]]

Given a sequence of as, combine them and return the total.

Given a sequence of as, combine them and return the total.

If the sequence is empty, returns None. Otherwise, returns Some(total).

Attributes

Definition Classes
AdditiveMonoid -> AdditiveSemigroup
Inherited from:
AdditiveMonoid

Implicits

Implicits

implicit def c: ClassTag[T]
implicit def d: TejDim[T]
implicit def eq: Eq[T]
implicit def f: Field[T]
implicit def n: NRoot[T]
implicit def s: Signed[T]
implicit def t: Trig[T]
implicit def v: VectorSpace[Array[T], T]
Generated with