kone.algebraic/dev.lounres.kone.algebraic/LongContext

LongContext

data object LongContext : Reification<Long> , EuclideanRing<Long> , Order<Long> , Hashing<Long> (source)

Default Euclidean ring for Long 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: Long

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

Link copied to clipboard
open val Int.value: Long

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

open val Long.value: Long

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

open val UInt.value: Long

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

open val ULong.value: Long

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

Link copied to clipboard
open override val zero: Long

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

Functions

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

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

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

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

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

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

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

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

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

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

Link copied to clipboard
open fun Long.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: Long): Long
open operator override fun UInt.minus(other: Long): Long
open operator override fun ULong.minus(other: Long): Long

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

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

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

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

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

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

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

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

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

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

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

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

Raises this number in the power of exponent.

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

Raises this number in the power of exponent.

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

Raises base number in the power of exponent.

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

Raises base number in the power of exponent.

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

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

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

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

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

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

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

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

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

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

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

Inverses this value in terms of the Ring.

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

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

open override fun valueOf(arg: Long): Long

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

open override fun valueOf(arg: UInt): Long

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

open override fun valueOf(arg: ULong): Long

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