coulomb-core/coulomb.ops.algebra.cats/rational/given_Field_Rational

given_Field_Rational

object given_Field_Rational extends Field[Rational]

Source:: rational.scala

trait Field[Rational]

trait CommutativeSemifield[Rational]

trait MultiplicativeCommutativeGroup[Rational]

trait DivisionRing[Rational]

trait Semifield[Rational]

trait MultiplicativeGroup[Rational]

trait EuclideanRing[Rational]

trait GCDRing[Rational]

trait CommutativeRing[Rational]

trait CommutativeRng[Rational]

trait CommutativeRig[Rational]

trait MultiplicativeCommutativeMonoid[Rational]

trait CommutativeSemiring[Rational]

trait MultiplicativeCommutativeSemigroup[Rational]

trait Ring[Rational]

trait Rng[Rational]

trait AdditiveCommutativeGroup[Rational]

trait AdditiveGroup[Rational]

trait Rig[Rational]

trait MultiplicativeMonoid[Rational]

trait Semiring[Rational]

trait MultiplicativeSemigroup[Rational]

trait AdditiveCommutativeMonoid[Rational]

trait AdditiveCommutativeSemigroup[Rational]

trait AdditiveMonoid[Rational]

trait AdditiveSemigroup[Rational]

trait Serializable

class Object

trait Matchable

class Any

given_Field_Rational.type

Value members

Concrete methods

Source:: rational.scala

Definition Classes: AdditiveGroup
Source:: rational.scala

Source:: rational.scala

Source:: rational.scala

Source:: rational.scala

Definition Classes: MultiplicativeGroup -> MultiplicativeMonoid -> MultiplicativeSemigroup
Source:: rational.scala

Source:: rational.scala

Source:: rational.scala

Inherited methods

Definition Classes: AdditiveCommutativeGroup -> AdditiveCommutativeMonoid -> AdditiveCommutativeSemigroup -> AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from:: AdditiveCommutativeGroup
Source:: Additive.scala

Inherited from:: Field
Source:: Field.scala

Inherited from:: Field
Source:: Field.scala

Definition Classes: Field -> EuclideanRing
Inherited from:: Field
Source:: Field.scala

Inherited from:: Field
Source:: Field.scala

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
Source:: Ring.scala

Definition Classes: Field -> DivisionRing
Inherited from:: Field
Source:: Field.scala

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
Source:: Ring.scala

Definition Classes: Field -> EuclideanRing -> GCDRing
Inherited from:: Field
Source:: Field.scala

Tests if a is one.

Inherited from:: MultiplicativeMonoid
Source:: Multiplicative.scala

Tests if a is zero.

Inherited from:: AdditiveMonoid
Source:: Additive.scala

Definition Classes: Field -> EuclideanRing -> GCDRing
Inherited from:: Field
Source:: Field.scala

Definition Classes: MultiplicativeCommutativeGroup -> MultiplicativeCommutativeMonoid -> MultiplicativeCommutativeSemigroup -> MultiplicativeGroup -> MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from:: MultiplicativeCommutativeGroup
Source:: Multiplicative.scala

@nowarn("msg=deprecated")

Given a sequence of as, compute the product.

Inherited from:: MultiplicativeMonoid
Source:: Multiplicative.scala

Inherited from:: MultiplicativeGroup
Source:: Multiplicative.scala

@nowarn("msg=deprecated")

Given a sequence of as, compute the sum.

Inherited from:: AdditiveMonoid
Source:: Additive.scala

Definition Classes: AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from:: AdditiveGroup
Source:: Additive.scala

@nowarn("msg=deprecated")

Definition Classes: MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from:: MultiplicativeMonoid
Source:: Multiplicative.scala

@nowarn("msg=deprecated")

Definition Classes: AdditiveMonoid -> AdditiveSemigroup
Inherited from:: AdditiveMonoid
Source:: Additive.scala