algebra.ring

CommutativeRing

trait CommutativeRing[A] extends Ring[A] with CommutativeRig[A]

CommutativeRing is a Ring that is commutative under multiplication.

Linear Supertypes
CommutativeRig[A], MultiplicativeCommutativeMonoid[A], MultiplicativeCommutativeSemigroup[A], Ring[A], Rng[A], AdditiveCommutativeGroup[A], AdditiveGroup[A], Rig[A], MultiplicativeMonoid[A], Semiring[A], MultiplicativeSemigroup[A], AdditiveCommutativeMonoid[A], AdditiveCommutativeSemigroup[A], AdditiveMonoid[A], AdditiveSemigroup[A], Serializable, Serializable, Any
Known Subclasses
BoolRing, EuclideanRing, Field
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. CommutativeRing
  2. CommutativeRig
  3. MultiplicativeCommutativeMonoid
  4. MultiplicativeCommutativeSemigroup
  5. Ring
  6. Rng
  7. AdditiveCommutativeGroup
  8. AdditiveGroup
  9. Rig
  10. MultiplicativeMonoid
  11. Semiring
  12. MultiplicativeSemigroup
  13. AdditiveCommutativeMonoid
  14. AdditiveCommutativeSemigroup
  15. AdditiveMonoid
  16. AdditiveSemigroup
  17. Serializable
  18. Serializable
  19. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def getClass(): Class[_]

    Definition Classes
    Any

  2. abstract def negate(x: A): A

    Definition Classes
    AdditiveGroup

  3. abstract def one: A

    Definition Classes
    MultiplicativeMonoid

  4. abstract def plus(x: A, y: A): A

    Definition Classes
    AdditiveSemigroup

  5. abstract def times(x: A, y: A): A

    Definition Classes
    MultiplicativeSemigroup

  6. abstract def zero: A

    Definition Classes
    AdditiveMonoid

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  2. final def ##(): Int

    Definition Classes
    Any

  3. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  4. def additive: CommutativeGroup[A]

    Definition Classes
    AdditiveCommutativeGroup → AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveGroup → AdditiveMonoid → AdditiveSemigroup

  5. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  6. def equals(arg0: Any): Boolean

    Definition Classes
    Any

  7. def fromInt(n: Int): A

    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.

    Definition Classes
    Ring

  8. def hashCode(): Int

    Definition Classes
    Any

  9. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  10. def isOne(a: A)(implicit ev: Eq[A]): Boolean

    Tests if a is one.

    Tests if a is one.

    Definition Classes
    MultiplicativeMonoid

  11. def isZero(a: A)(implicit ev: Eq[A]): Boolean

    Tests if a is zero.

    Tests if a is zero.

    Definition Classes
    AdditiveMonoid

  12. def minus(x: A, y: A): A

    Definition Classes
    AdditiveGroup

  13. def multiplicative: CommutativeMonoid[A]

    Definition Classes
    MultiplicativeCommutativeMonoid → MultiplicativeCommutativeSemigroup → MultiplicativeMonoid → MultiplicativeSemigroup

  14. def positivePow(a: A, n: Int): A

    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup

  15. def positiveSumN(a: A, n: Int): A

    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup

  16. def pow(a: A, n: Int): A

    Definition Classes
    MultiplicativeMonoid → MultiplicativeSemigroup

  17. def product(as: TraversableOnce[A]): A

    Given a sequence of as, compute the product.

    Given a sequence of as, compute the product.

    Definition Classes
    MultiplicativeMonoid

  18. def sum(as: TraversableOnce[A]): A

    Given a sequence of as, compute the sum.

    Given a sequence of as, compute the sum.

    Definition Classes
    AdditiveMonoid

  19. def sumN(a: A, n: Int): A

    Definition Classes
    AdditiveGroup → AdditiveMonoid → AdditiveSemigroup

  20. def toString(): String

    Definition Classes
    Any

  21. def tryProduct(as: TraversableOnce[A]): Option[A]

    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).

    Definition Classes
    MultiplicativeSemigroup

  22. def trySum(as: TraversableOnce[A]): Option[A]

    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).

    Definition Classes
    AdditiveSemigroup

Inherited from CommutativeRig[A]

Inherited from MultiplicativeCommutativeMonoid[A]

Inherited from MultiplicativeCommutativeSemigroup[A]

Inherited from Ring[A]

Inherited from Rng[A]

Inherited from AdditiveCommutativeGroup[A]

Inherited from AdditiveGroup[A]

Inherited from Rig[A]

Inherited from MultiplicativeMonoid[A]

Inherited from Semiring[A]

Inherited from MultiplicativeSemigroup[A]

Inherited from AdditiveCommutativeMonoid[A]

Inherited from AdditiveCommutativeSemigroup[A]

Inherited from AdditiveMonoid[A]

Inherited from AdditiveSemigroup[A]

Inherited from Serializable

Inherited from Serializable

Inherited from Any

Ungrouped