Ring

algebra.ring.Ring$
See theRing companion trait
object Ring extends RingFunctions[Ring]

Attributes

Companion:
trait
Source:
Ring.scala
Graph
Supertypes
Self type
Ring.type

Members list

Concise view

Value members

Concrete methods

final def apply[A](implicit ev: Ring[A]): Ring[A]

Attributes

Source:
Ring.scala

Inherited methods

final def defaultFromBigInt[A](n: BigInt)(implicit ev: Ring[A]): A

Attributes

Inherited from:
RingFunctions
Source:
Ring.scala
final def defaultFromDouble[A](a: Double)(implicit ringA: Ring[A], mgA: MultiplicativeGroup[A]): A

Returns the given Double, understood as a rational number, in the provided (division) ring.

Returns the given Double, understood as a rational number, in the provided (division) ring.

This is implemented in terms of basic ops. However, this is probably significantly less efficient than can be done with a specific type. So, it is recommended to specialize this general method.

Attributes

Inherited from:
RingFunctions
Source:
Ring.scala
def fromBigInt[A](n: BigInt)(implicit ev: Ring[A]): A

Attributes

Inherited from:
RingFunctions
Source:
Ring.scala
def fromInt[A](n: Int)(implicit ev: Ring[A]): A

Attributes

Inherited from:
RingFunctions
Source:
Ring.scala
def isAdditiveCommutative[A](implicit ev: Ring[A]): Boolean

Attributes

Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def isOne[A](a: A)(implicit ev0: Ring[A], ev1: Eq[A]): Boolean
def isZero[A](a: A)(implicit ev0: Ring[A], ev1: Eq[A]): Boolean

Attributes

Inherited from:
AdditiveMonoidFunctions
Source:
Additive.scala
def minus[A](x: A, y: A)(implicit ev: Ring[A]): A

Attributes

Inherited from:
AdditiveGroupFunctions
Source:
Additive.scala
def negate[A](x: A)(implicit ev: Ring[A]): A

Attributes

Inherited from:
AdditiveGroupFunctions
Source:
Additive.scala
def one[A](implicit ev: Ring[A]): A
def plus[A](x: A, y: A)(implicit ev: Ring[A]): A

Attributes

Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def pow[A](a: A, n: Int)(implicit ev: Ring[A]): A
def product[A](as: IterableOnce[A])(implicit ev: Ring[A]): A
def sum[A](as: IterableOnce[A])(implicit ev: Ring[A]): A

Attributes

Inherited from:
AdditiveMonoidFunctions
Source:
Additive.scala
def sumN[A](a: A, n: Int)(implicit ev: Ring[A]): A

Attributes

Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def times[A](x: A, y: A)(implicit ev: Ring[A]): A
def tryProduct[A](as: IterableOnce[A])(implicit ev: Ring[A]): Option[A]
def trySum[A](as: IterableOnce[A])(implicit ev: Ring[A]): Option[A]

Attributes

Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def zero[A](implicit ev: Ring[A]): A

Attributes

Inherited from:
AdditiveMonoidFunctions
Source:
Additive.scala