kone.algebraic/dev.lounres.kone.algebraic/CommutativeRing

CommutativeRing

interface CommutativeRing<Number> : Ring<Number> , CommutativeSemiring<Number> (source)

Describes a context that represents mathematical commutative ring.

Type Parameters

Number

The type of elements of the ring.

Inheritors

EuclideanRing

Field

Types

Companion

object Companion

Properties

intMinusNumber

open val intMinusNumber: Minus<Int, Number, Number>

The subtraction operation on an Int and a Number.

intPlusNumber

open val intPlusNumber: Plus<Int, Number, Number>

The addition operation on an Int and a Number.

intTimesNumber

open override val intTimesNumber: Times<Int, Number, Number>

The multiplication operation on an Int and a Number.

longMinusNumber

open val longMinusNumber: Minus<Long, Number, Number>

The subtraction operation on an Long and a Number.

longPlusNumber

open val longPlusNumber: Plus<Long, Number, Number>

The addition operation on an Long and a Number.

longTimesNumber

open override val longTimesNumber: Times<Long, Number, Number>

The multiplication operation on an Long and a Number.

numberMinusInt

open val numberMinusInt: Minus<Number, Int, Number>

The subtraction operation on a Number and an Int.

numberMinusLong

open val numberMinusLong: Minus<Number, Long, Number>

The subtraction operation on a Number and an Long.

numberMinusNumber

abstract override val numberMinusNumber: Minus<Number, Number, Number>

The subtraction operation on elements of type Number.

numberMinusUInt

open val numberMinusUInt: Minus<Number, UInt, Number>

The subtraction operation on a Number and an UInt.

numberMinusULong

open val numberMinusULong: Minus<Number, ULong, Number>

The subtraction operation on a Number and an ULong.

numberPlusInt

open val numberPlusInt: Plus<Number, Int, Number>

The addition operation on a Number and an Int.

numberPlusLong

open val numberPlusLong: Plus<Number, Long, Number>

The addition operation on a Number and an Long.

numberPlusNumber

abstract override val numberPlusNumber: Plus<Number, Number, Number>

The associative binary addition operation on elements of type Number.

numberPlusUInt

open override val numberPlusUInt: Plus<Number, UInt, Number>

The addition operation on a Number and an UInt.

numberPlusULong

open override val numberPlusULong: Plus<Number, ULong, Number>

The addition operation on a Number and an ULong.

numberTimesInt

open override val numberTimesInt: Times<Number, Int, Number>

The multiplication operation on a Number and an Int.

numberTimesLong

open override val numberTimesLong: Times<Number, Long, Number>

The multiplication operation on a Number and an Long.

numberTimesNumber

abstract val numberTimesNumber: Times<Number, Number, Number>

The associative binary multiplication operation on elements of type Number.

numberTimesUInt

open override val numberTimesUInt: Times<Number, UInt, Number>

The multiplication operation on a Number and an UInt.

numberTimesULong

open override val numberTimesULong: Times<Number, ULong, Number>

The multiplication operation on a Number and an ULong.

numberUnaryMinus

abstract override val numberUnaryMinus: UnaryMinus<Number, Number>

The negation operation on a Number.

one

abstract val one: Number

The neutral multiplicative element (a.k.a. unit element) of the semiring.

powerNumberUInt

open val powerNumberUInt: Power<Number, UInt, Number>

The exponentiation operation on a Number base and an UInt exponent.

powerNumberULong

open val powerNumberULong: Power<Number, ULong, Number>

The exponentiation operation on a Number base and an ULong exponent.

uIntMinusNumber

open val uIntMinusNumber: Minus<UInt, Number, Number>

The subtraction operation on an UInt and a Number.

uIntPlusNumber

open override val uIntPlusNumber: Plus<UInt, Number, Number>

The addition operation on an UInt and a Number.

uIntTimesNumber

open override val uIntTimesNumber: Times<UInt, Number, Number>

The multiplication operation on an UInt and a Number.

uLongMinusNumber

open val uLongMinusNumber: Minus<ULong, Number, Number>

The subtraction operation on an ULong and a Number.

uLongPlusNumber

open override val uLongPlusNumber: Plus<ULong, Number, Number>

The addition operation on an ULong and a Number.

uLongTimesNumber

open override val uLongTimesNumber: Times<ULong, Number, Number>

The multiplication operation on an ULong and a Number.

zero

abstract override val zero: Number

The neutral additive element (a.k.a. zero element) of the semiring.

Functions

valueOf

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.