IntAlgebra

Instance Constructors

new IntAlgebra()

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def abs(a: Int): Int

An idempotent function that ensures an object has a non-negative sign.
An idempotent function that ensures an object has a non-negative sign.

Definition Classes
IntIsSigned → Signed
def additive: AbGroup[Int]

Definition Classes
AdditiveAbGroup → AdditiveCMonoid → AdditiveCSemigroup → AdditiveGroup → AdditiveMonoid → AdditiveSemigroup
final def asInstanceOf[T0]: T0

Definition Classes
Any
def ceil(a: Int): Int

Definition Classes
IsIntegral → IsReal
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def compare(x: Int, y: Int): Int

Definition Classes
IntOrder → Order
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def eqv(x: Int, y: Int): Boolean

Returns true if x and y are equivalent, false otherwise.
Returns true if x and y are equivalent, false otherwise.

Definition Classes
IntOrder → Order → PartialOrder → Eq
final def euclid(a: Int, b: Int)(implicit eq: Eq[Int]): Int

Attributes
protected[this]
Definition Classes
EuclideanRing
Annotations
@tailrec()
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def floor(a: Int): Int

Definition Classes
IsIntegral → IsReal
def fpow(a: Int, b: Int): Int

Definition Classes
IntIsNRoot → NRoot
def fromInt(n: Int): Int

Defined to be equivalent to additive.sumn(one, n).
Defined to be equivalent to additive.sumn(one, n). That is, n repeated summations of this ring's one, or -one if n is negative.

Definition Classes
IntIsEuclideanRing → Ring
def gcd(a: Int, b: Int): Int

Definition Classes
IntIsEuclideanRing → EuclideanRing
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def gt(x: Int, y: Int): Boolean

Definition Classes
IntOrder → Order → PartialOrder
def gteqv(x: Int, y: Int): Boolean

Definition Classes
IntOrder → Order → PartialOrder
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isWhole(a: Int): Boolean

Definition Classes
IsIntegral → IsReal
def isZero(a: Int): Boolean

Definition Classes
Signed
def lcm(a: Int, b: Int): Int

Definition Classes
EuclideanRing
def log(a: Int): Int

Definition Classes
IntIsNRoot
def lt(x: Int, y: Int): Boolean

Definition Classes
IntOrder → Order → PartialOrder
def lteqv(x: Int, y: Int): Boolean

Definition Classes
IntOrder → Order → PartialOrder
def max(x: Int, y: Int): Int

Definition Classes
Order
def min(x: Int, y: Int): Int

Definition Classes
Order
def minus(a: Int, b: Int): Int

Definition Classes
IntIsEuclideanRing → AdditiveGroup
def mod(a: Int, b: Int): Int

Definition Classes
IntIsEuclideanRing → EuclideanRing
def multiplicative: CMonoid[Int]

Definition Classes
MultiplicativeCMonoid → MultiplicativeCSemigroup → MultiplicativeMonoid → MultiplicativeSemigroup
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def negate(a: Int): Int

Definition Classes
IntIsEuclideanRing → AdditiveGroup
def neqv(x: Int, y: Int): Boolean

Returns false if x and y are equivalent, true otherwise.
Returns false if x and y are equivalent, true otherwise.

Definition Classes
IntOrder → Eq
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def nroot(x: Int, n: Int): Int

Definition Classes
IntIsNRoot → NRoot
def on[B](f: (B) ⇒ Int): Order[B]

Defines an order on B by mapping B to A using f and using As order to order B.
Defines an order on B by mapping B to A using f and using As order to order B.

Definition Classes
Order → PartialOrder → Eq
def one: Int

Definition Classes
IntIsEuclideanRing → MultiplicativeMonoid
def partialCompare(x: Int, y: Int): Double

Result of comparing x with y.
Result of comparing x with y. Returns NaN if operands are not comparable. If operands are comparable, returns a Double whose sign is: - negative iff x < y - zero iff x === y - positive iff x > y

Definition Classes
Order → PartialOrder
def plus(a: Int, b: Int): Int

Definition Classes
IntIsEuclideanRing → AdditiveSemigroup
def pmax(x: Int, y: Int): Option[Int]

Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.
Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

Definition Classes
PartialOrder
def pmin(x: Int, y: Int): Option[Int]

Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.
Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

Definition Classes
PartialOrder
def pow(a: Int, b: Int): Int

This is similar to Semigroup#pow, except that a pow 0 is defined to be the multiplicative identity.
This is similar to Semigroup#pow, except that a pow 0 is defined to be the multiplicative identity.

Definition Classes
IntIsEuclideanRing → Rig → Semiring
def quot(a: Int, b: Int): Int

Definition Classes
IntIsEuclideanRing → EuclideanRing
def quotmod(a: Int, b: Int): (Int, Int)

Definition Classes
EuclideanRing
def reverse: Order[Int]

Defines an ordering on A where all arrows switch direction.
Defines an ordering on A where all arrows switch direction.

Definition Classes
Order → PartialOrder
def round(a: Int): Int

Definition Classes
IsIntegral → IsReal
def sign(a: Int): Sign

Returns Zero if a is 0, Positive if a is positive, and Negative is a is negative.
Returns Zero if a is 0, Positive if a is positive, and Negative is a is negative.

Definition Classes
Signed
def signum(a: Int): Int

Returns 0 if a is 0, > 0 if a is positive, and < 0 is a is negative.
Returns 0 if a is 0, > 0 if a is positive, and < 0 is a is negative.

Definition Classes
IntIsSigned → Signed
def sqrt(a: Int): Int

Definition Classes
NRoot
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def times(a: Int, b: Int): Int

Definition Classes
IntIsEuclideanRing → MultiplicativeSemigroup
def toDouble(n: Int): Double

Definition Classes
IntIsReal → IsReal
def toString(): String

Definition Classes
AnyRef → Any
def tryCompare(x: Int, y: Int): Option[Int]

Result of comparing x with y.
Result of comparing x with y. Returns None if operands are not comparable. If operands are comparable, returns Some[Int] where the Int sign is: - negative iff x < y - zero iff x == y - positive iff x > y

Definition Classes
PartialOrder
def tryGt(x: Int, y: Int): Option[Boolean]

Definition Classes
PartialOrder
def tryGteqv(x: Int, y: Int): Option[Boolean]

Definition Classes
PartialOrder
def tryLt(x: Int, y: Int): Option[Boolean]

Definition Classes
PartialOrder
def tryLteqv(x: Int, y: Int): Option[Boolean]

Definition Classes
PartialOrder
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def zero: Int

Definition Classes
IntIsEuclideanRing → AdditiveMonoid

class IntAlgebra extends IntIsEuclideanRing with IntIsNRoot with IntIsReal with Serializable

Instance Constructors

new IntAlgebra()

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def abs(a: Int): Int

def additive: AbGroup[Int]

final def asInstanceOf[T0]: T0

def ceil(a: Int): Int

def clone(): AnyRef

def compare(x: Int, y: Int): Int

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def eqv(x: Int, y: Int): Boolean

final def euclid(a: Int, b: Int)(implicit eq: Eq[Int]): Int

def finalize(): Unit

def floor(a: Int): Int

def fpow(a: Int, b: Int): Int

def fromInt(n: Int): Int

def gcd(a: Int, b: Int): Int

final def getClass(): Class[_]

def gt(x: Int, y: Int): Boolean

def gteqv(x: Int, y: Int): Boolean

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def isWhole(a: Int): Boolean

def isZero(a: Int): Boolean

def lcm(a: Int, b: Int): Int

def log(a: Int): Int

def lt(x: Int, y: Int): Boolean

def lteqv(x: Int, y: Int): Boolean

def max(x: Int, y: Int): Int

def min(x: Int, y: Int): Int

def minus(a: Int, b: Int): Int

def mod(a: Int, b: Int): Int

def multiplicative: CMonoid[Int]

final def ne(arg0: AnyRef): Boolean

def negate(a: Int): Int

def neqv(x: Int, y: Int): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def nroot(x: Int, n: Int): Int

def on[B](f: (B) ⇒ Int): Order[B]

def one: Int

def partialCompare(x: Int, y: Int): Double

def plus(a: Int, b: Int): Int

def pmax(x: Int, y: Int): Option[Int]

def pmin(x: Int, y: Int): Option[Int]

def pow(a: Int, b: Int): Int

def quot(a: Int, b: Int): Int

def quotmod(a: Int, b: Int): (Int, Int)

def reverse: Order[Int]

def round(a: Int): Int

def sign(a: Int): Sign

def signum(a: Int): Int

def sqrt(a: Int): Int

final def synchronized[T0](arg0: ⇒ T0): T0

def times(a: Int, b: Int): Int

def toDouble(n: Int): Double

def toString(): String

def tryCompare(x: Int, y: Int): Option[Int]

def tryGt(x: Int, y: Int): Option[Boolean]

def tryGteqv(x: Int, y: Int): Option[Boolean]

def tryLt(x: Int, y: Int): Option[Boolean]

def tryLteqv(x: Int, y: Int): Option[Boolean]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def zero: Int

Inherited from Serializable

Inherited from Serializable

Inherited from IntIsReal

Inherited from IntIsSigned

Inherited from IntOrder

Inherited from IsIntegral[Int]

Inherited from IsReal[Int]

Inherited from Signed[Int]