kone.algebraic/dev.lounres.kone.algebraic/CommutativeSemiring

CommutativeSemiring

interface CommutativeSemiring<Number> : Semiring<Number> (source)

Describes a context that represents mathematical commutative semiring.

Type Parameters

Number

The type of elements of the group.

Inheritors

EuclideanSemiring

CommutativeRing

Types

Companion

object Companion

Properties

numberPlusNumber

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

The associative binary addition operation on elements of type Number.

numberPlusUInt

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

The addition operation on a Number and an UInt.

numberPlusULong

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

The addition operation on a Number and an ULong.

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.

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.

uIntPlusNumber

open 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.

uLongPlusNumber

open 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: 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.