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

Rounds a the nearest integer that is greater than or equal to a.
Rounds a the nearest integer that is greater than or equal to a.

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

Rounds a the nearest integer that is less than or equal to a.
Rounds a the nearest integer that is less than or equal to a.

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 isOne(a: Int)(implicit ev: Eq[Int]): Boolean

Definition Classes
MultiplicativeMonoid
def isSignNegative(a: Int): Boolean

Definition Classes
Signed
def isSignNonNegative(a: Int): Boolean

Definition Classes
Signed
def isSignNonPositive(a: Int): Boolean

Definition Classes
Signed
def isSignNonZero(a: Int): Boolean

Definition Classes
Signed
def isSignPositive(a: Int): Boolean

Definition Classes
Signed
def isSignZero(a: Int): Boolean

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

Returns true iff a is a an integer.
Returns true iff a is a an integer.

Definition Classes
IsIntegral → IsReal
def isZero(a: Int)(implicit ev: Eq[Int]): Boolean

Tests if a is zero.
Tests if a is zero.

Definition Classes
AdditiveMonoid
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 prod(as: TraversableOnce[Int]): Int

Given a sequence of as, sum them using the monoid and return the total.
Given a sequence of as, sum them using the monoid and return the total.

Definition Classes
MultiplicativeMonoid
def prodOption(as: TraversableOnce[Int]): Option[Int]

Given a sequence of as, sum them using the semigroup and return the total.
Given a sequence of as, sum them using the semigroup and return the total.
If the sequence is empty, returns None. Otherwise, returns Some(total).

Definition Classes
MultiplicativeSemigroup
def prodn(a: Int, n: Int): Int

Return a multiplied with itself n times.
Return a multiplied with itself n times.

Definition Classes
MultiplicativeMonoid → MultiplicativeSemigroup
def prodnAboveOne(a: Int, n: Int): Int

Attributes
protected
Definition Classes
MultiplicativeSemigroup
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

Rounds a to the nearest integer.
Rounds a to the nearest integer.

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
def sum(as: TraversableOnce[Int]): Int

Given a sequence of as, sum them using the monoid and return the total.
Given a sequence of as, sum them using the monoid and return the total.

Definition Classes
AdditiveMonoid
def sumOption(as: TraversableOnce[Int]): Option[Int]

Given a sequence of as, sum them using the semigroup and return the total.
Given a sequence of as, sum them using the semigroup and return the total.
If the sequence is empty, returns None. Otherwise, returns Some(total).

Definition Classes
AdditiveSemigroup
def sumn(a: Int, n: Int): Int

Return a added with itself n times.
Return a added with itself n times.

Definition Classes
AdditiveGroup → AdditiveMonoid → AdditiveSemigroup
def sumnAboveOne(a: Int, n: Int): Int

Attributes
protected
Definition Classes
AdditiveSemigroup
final def synchronized[T0](arg0: ⇒ T0): T0

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

Definition Classes
IntIsEuclideanRing → MultiplicativeSemigroup
def toAlgebraic(a: Int): Algebraic

Definition Classes
IsRational → IsAlgebraic
def toBigInt(n: Int): BigInt

Definition Classes
IntIsReal → IsIntegral
def toDouble(n: Int): Double

Approximates a as a Double.
Approximates a as a Double.

Definition Classes
IntIsReal → IsReal
def toRational(a: Int): Rational

Definition Classes
IsIntegral → IsRational
def toReal(a: Int): Real

Definition Classes
IsAlgebraic → 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
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

Related Doc: package std

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 isOne(a: Int)(implicit ev: Eq[Int]): Boolean

def isSignNegative(a: Int): Boolean

def isSignNonNegative(a: Int): Boolean

def isSignNonPositive(a: Int): Boolean

def isSignNonZero(a: Int): Boolean

def isSignPositive(a: Int): Boolean

def isSignZero(a: Int): Boolean

def isWhole(a: Int): Boolean

def isZero(a: Int)(implicit ev: Eq[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 prod(as: TraversableOnce[Int]): Int

def prodOption(as: TraversableOnce[Int]): Option[Int]

def prodn(a: Int, n: Int): Int

def prodnAboveOne(a: Int, n: 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

def sum(as: TraversableOnce[Int]): Int

def sumOption(as: TraversableOnce[Int]): Option[Int]

def sumn(a: Int, n: Int): Int

def sumnAboveOne(a: Int, n: Int): Int

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

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

def toAlgebraic(a: Int): Algebraic

def toBigInt(n: Int): BigInt

def toDouble(n: Int): Double