kone.algebraic/dev.lounres.kone.algebraic/IntContext

IntContext

data object IntContext : Reification<Int> , EuclideanRing<Int> , Order<Int> , Hashing<Int> (source)

Default Euclidean ring for Int type which values are seen as integers and where overflows are ignored. It also implements Reification, Order, and Hashing interfaces in the default understanding.

Such context is useless when used as is, but useful when used in generalised algorithms.

Properties

Link copied to clipboard
open override val one: Int

Represents a unit element (a.k.a. neutral multiplicative element).

Link copied to clipboard
open val Int.value: Int

Converts instance of Int to an element of the Ring it is equal to.

open val Long.value: Int

Converts instance of Long to an element of the Ring it is equal to.

open val UInt.value: Int

Converts instance of UInt to an element of the Semiring it is equal to.

open val ULong.value: Int

Converts instance of Long to an element of the Semiring it is equal to.

Link copied to clipboard
open override val zero: Int

Represents a zero element (a.k.a. neutral additive element).

Functions

Link copied to clipboard
open infix override fun Int.compareWith(other: Int): ComparisonResult
Link copied to clipboard
open operator override fun contains(element: Any?): Boolean
Link copied to clipboard
open operator override fun Int.div(other: Int): Int

Returns quotient of Euclidean division (a.k.a. a division with remainder).

Link copied to clipboard
open infix override fun Int.divrem(other: Int): EuclideanDivisionResult<Int>

Returns result of Euclidean division (a.k.a. a division with remainder), both quotient and remainder.

Link copied to clipboard
open infix fun Int.equalsTo(other: Int): Boolean
Link copied to clipboard
open fun Int.hash(): Int
Link copied to clipboard
open fun Int.isNotOne(): Boolean

Checks that this number is not a one in the context of the Semiring.

Link copied to clipboard
open fun Int.isNotZero(): Boolean

Checks that this number is not a zero in the context of the Semiring.

Link copied to clipboard
open fun Int.isOne(): Boolean

Checks that this number is a one in the context of the Semiring.

Link copied to clipboard
open fun Int.isZero(): Boolean

Checks that this number is a zero in the context of the Semiring.

Link copied to clipboard
open operator override fun Int.minus(other: Int): Int
open operator override fun Int.minus(other: Long): Int
open operator override fun Int.minus(other: UInt): Int
open operator override fun Int.minus(other: ULong): Int

Subtracts this number and the other integer as elements of the Ring.

open operator override fun Long.minus(other: Int): Int
open operator override fun UInt.minus(other: Int): Int
open operator override fun ULong.minus(other: Int): Int

Sums this integer and the other number as elements of the Ring.

Link copied to clipboard
open operator override fun Int.plus(other: Int): Int
open operator override fun Int.plus(other: Long): Int

Sums this number and the other integer as elements of the Ring.

open operator override fun Int.plus(other: UInt): Int
open operator override fun Int.plus(other: ULong): Int

Sums this number and the other integer as elements of the Semiring.

open operator override fun Long.plus(other: Int): Int

Sums this integer and the other number as elements of the Ring.

open operator override fun UInt.plus(other: Int): Int
open operator override fun ULong.plus(other: Int): Int

Sums this integer and the other number as elements of the Semiring.

Link copied to clipboard
open infix fun Int.pow(exponent: UInt): Int

Raises this number in the power of exponent.

open infix fun Int.pow(exponent: ULong): Int

Raises this number in the power of exponent.

Link copied to clipboard
open fun power(base: Int, exponent: UInt): Int

Raises base number in the power of exponent.

open fun power(base: Int, exponent: ULong): Int

Raises base number in the power of exponent.

Link copied to clipboard
open override fun reify(element: Any?): Int
Link copied to clipboard
open override fun reifyMaybe(element: Any?): Maybe<Int>
Link copied to clipboard
open override fun reifyOrNull(element: Any?): Int?
Link copied to clipboard
open operator override fun Int.rem(other: Int): Int

Returns remainder of Euclidean division (a.k.a. a division with remainder).

Link copied to clipboard
open operator override fun Int.times(other: Int): Int
open operator override fun Int.times(other: Long): Int

Multiplies this number and the other integer as elements of the Ring.

open operator override fun Int.times(other: UInt): Int
open operator override fun Int.times(other: ULong): Int

Multiplies this number and the other integer as elements of the Semiring.

open operator override fun Long.times(other: Int): Int

Sums this integer and the other number as elements of the Ring.

open operator override fun UInt.times(other: Int): Int
open operator override fun ULong.times(other: Int): Int

Sums this integer and the other number as elements of the Semiring.

Link copied to clipboard
open operator override fun Int.unaryMinus(): Int

Inverses this value in terms of the Ring.

Link copied to clipboard
open override fun valueOf(arg: Int): Int

Converts instance of Int to an element of the Ring it is equal to.

open override fun valueOf(arg: Long): Int

Converts instance of Long to an element of the Ring it is equal to.

open override fun valueOf(arg: UInt): Int

Converts instance of UInt to an element of the Semiring it is equal to.

open override fun valueOf(arg: ULong): Int

Converts instance of ULong to an element of the Semiring it is equal to.