0.0.0-experiment-2025.7.7.13

kone.algebraic/dev.lounres.kone.algebraic/Field

Field

interface Field<Number> : Ring<Number> (source)

Describes a context that represents mathematical field. It means that it is an extension of Ring interface that also provides division and exponentiation to the negative integer power. See docs of Ring for a full description and docs of the Field interface's operations.

Inheritors

Types

class Key<Number>(elementType: SuppliedType) : RegistryKey<Field<Number>>

Registry key for Field interface in KoneContextRegistry.

Properties

abstract val one: Number

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

open val Number.reciprocal: Number

Finds reciprocal of this number in terms of the Field.

open val Int.value: Number

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

open val Long.value: Number

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

open val UInt.value: Number

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

open val ULong.value: Number

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

abstract val zero: Number

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

Functions

abstract operator fun Number.div(other: Number): Number

Divides this number by other number in terms of the Field.

open operator fun Number.div(other: Int): Number

open operator fun Number.div(other: Long): Number

open operator fun Number.div(other: UInt): Number

open operator fun Number.div(other: ULong): Number

Divides this number by other integer as elements of the Field.

open operator fun Int.div(other: Number): Number

open operator fun Long.div(other: Number): Number

open operator fun UInt.div(other: Number): Number

open operator fun ULong.div(other: Number): Number

Divides this integer by other number as elements of the Field.

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

open fun Number.isNotOne(): Boolean

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

open fun Number.isNotZero(): Boolean

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

open fun Number.isOne(): Boolean

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

open fun Number.isZero(): Boolean

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

abstract operator fun Number.minus(other: Number): Number

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

open operator fun Number.minus(other: Int): Number

open operator fun Number.minus(other: Long): Number

open operator fun Number.minus(other: UInt): Number

open operator fun Number.minus(other: ULong): Number

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

open operator fun Int.minus(other: Number): Number

open operator fun Long.minus(other: Number): Number

open operator fun UInt.minus(other: Number): Number

open operator fun ULong.minus(other: Number): Number

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

open operator fun Number.plus(other: Int): Number

open operator fun Number.plus(other: Long): Number

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

open operator fun Int.plus(other: Number): Number

open operator fun Long.plus(other: Number): Number

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

abstract operator fun Number.plus(other: Number): Number

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

open operator fun Number.plus(other: UInt): Number

open operator fun Number.plus(other: ULong): Number

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

open operator fun UInt.plus(other: Number): Number

open operator fun ULong.plus(other: Number): Number

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

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

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

Raises this number in the power of exponent.

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

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

Raises this number in the power of exponent.

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

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

Raises base number in the power of exponent.

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

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

Raises base number in the power of exponent.

open operator fun Number.times(other: Int): Number

open operator fun Number.times(other: Long): Number

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

open operator fun Int.times(other: Number): Number

open operator fun Long.times(other: Number): Number

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

abstract operator fun Number.times(other: Number): Number

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

open operator fun Number.times(other: UInt): Number

open operator fun Number.times(other: ULong): Number

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

open operator fun UInt.times(other: Number): Number

open operator fun ULong.times(other: Number): Number

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

abstract operator fun Number.unaryMinus(): Number

Inverses this value in terms of the Ring.

open fun valueOf(arg: Int): Number

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

open fun valueOf(arg: Long): Number

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

open fun valueOf(arg: UInt): Number

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

open fun valueOf(arg: ULong): Number

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