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.
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.
Tests if a
is one.
Tests if a
is one.
Tests if a
is zero.
Tests if a
is zero.
Given a sequence of as
, compute the product.
Given a sequence of as
, compute the product.
Given a sequence of as
, compute the sum.
Given a sequence of as
, compute the sum.
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).
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).
A Boolean ring is a ring whose multiplication is idempotent, that is
a⋅a = a
for all elements a. This property also impliesa+a = 0
for all a, anda⋅b = b⋅a
(commutativity of multiplication).Every Boolean ring is equivalent to a Boolean algebra. See
algebra.lattice.BoolFromBoolRing
for details.