kone.algebraicExtra/dev.lounres.kone.algebraic

Package-level declarations

Types

BigLong

@Serializable

@JvmInline

value class BigLong(val sign: Int, val absoluteValue: UBigLong)

BigLongContext

object BigLongContext : Reification<BigLong> , EuclideanRing<BigLong> , Order<BigLong> , Hashing<BigLong>

BigLongRational

@Serializable

data class BigLongRational

BigLongRationalContext

data object BigLongRationalContext : Reification<BigLongRational> , Field<BigLongRational> , Order<BigLongRational> , Hashing<BigLongRational>

IntModuloRing

class IntModuloRing(modulus: Int) : Reification<Int> , Ring<Int> , Hashing<Int>

Rational

class Rational

RationalContext

data object RationalContext : Reification<Rational> , Field<Rational> , Order<Rational> , Hashing<Rational>

UBigLong

@Serializable

@JvmInline

value class UBigLong

UBigLongContext

object UBigLongContext : Reification<UBigLong> , EuclideanSemiring<UBigLong> , ExtendedSemiring<UBigLong> , Order<UBigLong> , Hashing<UBigLong>

Properties

context

val BigLong.Companion.context: BigLongContext

val UBigLong.Companion.context: UBigLongContext

value

val UBigLong.value: BigLong

Functions

and

infix fun UBigLong.and(other: UBigLong): UBigLong

div

operator fun BigLong.div(other: UBigLong): BigLong

operator fun UBigLong.div(other: BigLong): BigLong

operator fun UBigLong.div(other: UBigLong): UBigLong

divrem

infix fun BigLong.divrem(other: UBigLong): EuclideanDivisionResult<BigLong>

infix fun UBigLong.divrem(other: BigLong): EuclideanDivisionResult<BigLong>

infix fun UBigLong.divrem(other: UBigLong): EuclideanDivisionResult<UBigLong>

from

fun UBigLong.Companion.from(array: KoneULongArray): UBigLong

fun UBigLong.Companion.from(vararg array: ULong): UBigLong

fun BigLong.Companion.from(sign: Int, array: KoneULongArray): BigLong

fun BigLong.Companion.from(sign: Int, vararg array: ULong): BigLong

fun BigLongRational.Companion.from(numerator: BigLong, denominator: UBigLong = UBigLong.context.one): BigLongRational

installIntModuloContext

fun KoneContextRegistryBuilder.installIntModuloContext(modulus: Int)

installRationalContext

fun KoneContextRegistryBuilder.installRationalContext()

minus

operator fun BigLong.minus(other: UBigLong): BigLong

operator fun UBigLong.minus(other: BigLong): BigLong

infix fun UBigLong.or(other: UBigLong): UBigLong

plus

operator fun BigLong.plus(other: UBigLong): BigLong

operator fun UBigLong.plus(other: BigLong): BigLong

rem

operator fun BigLong.rem(other: UBigLong): BigLong

operator fun UBigLong.rem(other: BigLong): BigLong

operator fun UBigLong.rem(other: UBigLong): UBigLong

shl

infix fun UBigLong.shl(bitCount: UInt): UBigLong

shr

infix fun UBigLong.shr(bitCount: UInt): UBigLong

times

operator fun BigLong.times(other: UBigLong): BigLong

operator fun UBigLong.times(other: BigLong): BigLong

toBigLong

fun String.toBigLong(radix: UInt): BigLong

toString

fun BigLong.toString(radix: UInt): String

fun UBigLong.toString(radix: UInt): String

toUBigLong

fun UInt.toUBigLong(): UBigLong

fun ULong.toUBigLong(): UBigLong

fun String.toUBigLong(radix: UInt): UBigLong

toUInt

fun UBigLong.toUInt(): UInt

toULong

fun UBigLong.toULong(): ULong

valueOf

fun valueOf(arg: UBigLong): BigLong

xor

infix fun UBigLong.xor(other: UBigLong): UBigLong