kone.algebraic/dev.lounres.kone.algebraic/BigIntegerContext

BigIntegerContext

data object BigIntegerContext : Reification<BigInteger> , EuclideanRing<BigInteger> , Order<BigInteger> , Hashing<BigInteger> (source)

Default ring for BigInteger type which values are seen as integers. It also implements Order and Hashing interfaces in the default understanding.

Such ring is useless when used as is, but useful when used in generalized algorithms.

Properties

one

open override val one: BigInteger

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

value

open val Int.value: BigInteger

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

open val Long.value: BigInteger

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

open val UInt.value: BigInteger

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

open val ULong.value: BigInteger

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

zero

open override val zero: BigInteger

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

Functions

compareWith

open infix override fun BigInteger.compareWith(other: BigInteger): ComparisonResult

contains

open operator override fun contains(element: Any?): Boolean

div

open operator override fun BigInteger.div(other: BigInteger): BigInteger

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

divrem

open infix override fun BigInteger.divrem(other: BigInteger): EuclideanDivisionResult<BigInteger>

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

equalsTo

open infix fun BigInteger.equalsTo(other: BigInteger): Boolean

hash

open fun BigInteger.hash(): Int

isNotOne

open fun BigInteger.isNotOne(): Boolean

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

isNotZero

open fun BigInteger.isNotZero(): Boolean

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

isOne

open fun BigInteger.isOne(): Boolean

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

isZero

open fun BigInteger.isZero(): Boolean

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

minus

open operator override fun BigInteger.minus(other: BigInteger): BigInteger

Subtracts this and the other numbers in terms of the Ring.

open operator override fun BigInteger.minus(other: Int): BigInteger

open operator override fun BigInteger.minus(other: Long): BigInteger

open operator override fun BigInteger.minus(other: UInt): BigInteger

open operator override fun BigInteger.minus(other: ULong): BigInteger

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

open operator override fun Int.minus(other: BigInteger): BigInteger

open operator override fun Long.minus(other: BigInteger): BigInteger

open operator override fun UInt.minus(other: BigInteger): BigInteger

open operator override fun ULong.minus(other: BigInteger): BigInteger

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

plus

open operator override fun BigInteger.plus(other: BigInteger): BigInteger

Sums this and the other numbers in terms of the Semiring.

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

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

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

open operator override fun BigInteger.plus(other: UInt): BigInteger

open operator override fun BigInteger.plus(other: ULong): BigInteger

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

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

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

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

open operator override fun UInt.plus(other: BigInteger): BigInteger

open operator override fun ULong.plus(other: BigInteger): BigInteger

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

pow

open infix fun BigInteger.pow(exponent: UInt): BigInteger

Raises this number in the power of exponent.

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

Raises this number in the power of exponent.

power

open fun power(base: BigInteger, exponent: UInt): BigInteger

Raises base number in the power of exponent.

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

Raises base number in the power of exponent.

reify

open override fun reify(element: Any?): BigInteger

reifyMaybe

open override fun reifyMaybe(element: Any?): Maybe<BigInteger>

reifyOrNull

open override fun reifyOrNull(element: Any?): BigInteger?

rem

open operator override fun BigInteger.rem(other: BigInteger): BigInteger

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

times

open operator override fun BigInteger.times(other: BigInteger): BigInteger

Multiplies this and the other numbers in terms of the Semiring.

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

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

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

open operator override fun BigInteger.times(other: UInt): BigInteger

open operator override fun BigInteger.times(other: ULong): BigInteger

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

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

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

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

open operator override fun UInt.times(other: BigInteger): BigInteger

open operator override fun ULong.times(other: BigInteger): BigInteger

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

unaryMinus

open operator override fun BigInteger.unaryMinus(): BigInteger

Inverses this value in terms of the Ring.

valueOf

open override fun valueOf(arg: Int): BigInteger

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

open override fun valueOf(arg: Long): BigInteger

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

open override fun valueOf(arg: UInt): BigInteger

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

open override fun valueOf(arg: ULong): BigInteger

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