Properties

Link copied to clipboard
abstract val constantOne: C
Link copied to clipboard
open val Int.constantValue: C
open val Long.constantValue: C
Link copied to clipboard
abstract val constantZero: C
Link copied to clipboard
Link copied to clipboard
abstract val P.degree: Int
Link copied to clipboard
abstract val P.degrees: Map<V, UInt>
Link copied to clipboard
abstract override val one: P
Link copied to clipboard
@get:JvmName(name = "valueVariable")
open val V.value: P
@get:JvmName(name = "valueConstant")
open val C.value: P
open override val Int.value: P
open override val Long.value: P
Link copied to clipboard
open val P.variables: Set<V>
Link copied to clipboard
abstract override val zero: P

Functions

Link copied to clipboard
open fun constantValueOf(value: Int): C
open fun constantValueOf(value: Long): C
Link copied to clipboard
open fun P.degreeBy(variable: V): UInt
abstract fun P.degreeBy(variables: Collection<V>): UInt
Link copied to clipboard
open infix override fun P.eq(other: P): Boolean
@JvmName(name = "eqConstantConstant")
open infix fun C.eq(other: C): Boolean
Link copied to clipboard
open infix override fun P.equalsTo(other: P): Boolean
@JvmName(name = "equalsToConstantConstant")
open infix fun C.equalsTo(other: C): Boolean
Link copied to clipboard
open fun P.isNotOne(): Boolean
@JvmName(name = "isNotOneConstant")
open fun C.isNotOne(): Boolean
Link copied to clipboard
open fun P.isNotZero(): Boolean
@JvmName(name = "isNotZeroConstant")
open fun C.isNotZero(): Boolean
Link copied to clipboard
open override fun P.isOne(): Boolean
@JvmName(name = "isOneConstant")
open fun C.isOne(): Boolean
Link copied to clipboard
open override fun P.isZero(): Boolean
@JvmName(name = "isZeroConstant")
open fun C.isZero(): Boolean
Link copied to clipboard

Constructs ListRationalFunction instance with provided numerator and unit denominator.

fun <C> Ring<C>.ListRationalFunction(numeratorCoefficients: List<C>, reverse: Boolean = false): ListRationalFunction<C>

Constructs ListRationalFunction instance with numerator constructed with provided numeratorCoefficients and unit denominator. The collection of numerator coefficients will be reversed if reverse parameter is true.

Link copied to clipboard
@JvmName(name = "minusPolynomialVariable")
abstract operator fun P.minus(other: V): P
@JvmName(name = "minusVariablePolynomial")
abstract operator fun V.minus(other: P): P
@JvmName(name = "minusVariableConstant")
abstract operator fun V.minus(other: C): P
@JvmName(name = "minusConstantVariable")
abstract operator fun C.minus(other: V): P
@JvmName(name = "minusVariableVariable")
abstract operator fun V.minus(other: V): P
@JvmName(name = "minusVariableInt")
abstract operator fun V.minus(other: Int): P
@JvmName(name = "minusVariableLong")
abstract operator fun V.minus(other: Long): P
@JvmName(name = "minusIntVariable")
abstract operator fun Int.minus(other: V): P
@JvmName(name = "minusLongVariable")
abstract operator fun Long.minus(other: V): P
abstract operator override fun P.minus(other: P): P
abstract operator fun P.minus(other: C): P
abstract operator override fun P.minus(other: Int): P
abstract operator override fun P.minus(other: Long): P
abstract operator fun C.minus(other: P): P
@JvmName(name = "minusConstantConstant")
abstract operator fun C.minus(other: C): C
@JvmName(name = "minusConstantInt")
abstract operator fun C.minus(other: Int): C
@JvmName(name = "minusConstantLong")
abstract operator fun C.minus(other: Long): C
abstract operator override fun Int.minus(other: P): P
@JvmName(name = "minusIntConstant")
abstract operator fun Int.minus(other: C): C
abstract operator override fun Long.minus(other: P): P
@JvmName(name = "minusLongConstant")
abstract operator fun Long.minus(other: C): C
Link copied to clipboard
open infix override fun P.neq(other: P): Boolean
@JvmName(name = "neqConstantConstant")
open infix fun C.neq(other: C): Boolean
Link copied to clipboard
open infix override fun P.notEqualsTo(other: P): Boolean
@JvmName(name = "notEqualsToConstantConstant")
open infix fun C.notEqualsTo(other: C): Boolean
Link copied to clipboard
@JvmName(name = "plusPolynomialVariable")
abstract operator fun P.plus(other: V): P
@JvmName(name = "plusVariablePolynomial")
abstract operator fun V.plus(other: P): P
@JvmName(name = "plusVariableConstant")
abstract operator fun V.plus(other: C): P
@JvmName(name = "plusConstantVariable")
abstract operator fun C.plus(other: V): P
@JvmName(name = "plusVariableVariable")
abstract operator fun V.plus(other: V): P
@JvmName(name = "plusVariableInt")
abstract operator fun V.plus(other: Int): P
@JvmName(name = "plusVariableLong")
abstract operator fun V.plus(other: Long): P
@JvmName(name = "plusIntVariable")
abstract operator fun Int.plus(other: V): P
@JvmName(name = "plusLongVariable")
abstract operator fun Long.plus(other: V): P
abstract operator override fun P.plus(other: P): P
abstract operator fun P.plus(other: C): P
abstract operator override fun P.plus(other: Int): P
abstract operator override fun P.plus(other: Long): P
abstract operator fun C.plus(other: P): P
@JvmName(name = "plusConstantConstant")
abstract operator fun C.plus(other: C): C
@JvmName(name = "plusConstantInt")
abstract operator fun C.plus(other: Int): C
@JvmName(name = "plusConstantLong")
abstract operator fun C.plus(other: Long): C
abstract operator override fun Int.plus(other: P): P
@JvmName(name = "plusIntConstant")
abstract operator fun Int.plus(other: C): C
abstract operator override fun Long.plus(other: P): P
@JvmName(name = "plusLongConstant")
abstract operator fun Long.plus(other: C): C
Link copied to clipboard
open infix override fun P.pow(exponent: UInt): P
open infix override fun P.pow(exponent: ULong): P
@JvmName(name = "powConstantUInt")
open infix fun C.pow(exponent: UInt): C
@JvmName(name = "powConstantULong")
open infix fun C.pow(exponent: ULong): C
Link copied to clipboard
open override fun power(base: P, exponent: UInt): P
open override fun power(base: P, exponent: ULong): P
@JvmName(name = "powerConstantUInt")
open fun power(base: C, exponent: UInt): C
@JvmName(name = "powerConstantULong")
open fun power(base: C, exponent: ULong): C
Link copied to clipboard
@JvmName(name = "timesPolynomialVariable")
abstract operator fun P.times(other: V): P
@JvmName(name = "timesVariablePolynomial")
abstract operator fun V.times(other: P): P
@JvmName(name = "timesVariableConstant")
abstract operator fun V.times(other: C): P
@JvmName(name = "timesConstantVariable")
abstract operator fun C.times(other: V): P
@JvmName(name = "timesVariableVariable")
abstract operator fun V.times(other: V): P
@JvmName(name = "timesVariableInt")
abstract operator fun V.times(other: Int): P
@JvmName(name = "timesVariableLong")
abstract operator fun V.times(other: Long): P
@JvmName(name = "timesIntVariable")
abstract operator fun Int.times(other: V): P
@JvmName(name = "timesLongVariable")
abstract operator fun Long.times(other: V): P
abstract operator override fun P.times(other: P): P
abstract operator fun P.times(other: C): P
abstract operator override fun P.times(other: Int): P
abstract operator override fun P.times(other: Long): P
abstract operator fun C.times(other: P): P
@JvmName(name = "timesConstantConstant")
abstract operator fun C.times(other: C): C
@JvmName(name = "timesConstantInt")
abstract operator fun C.times(other: Int): C
@JvmName(name = "timesConstantLong")
abstract operator fun C.times(other: Long): C
abstract operator override fun Int.times(other: P): P
@JvmName(name = "timesIntConstant")
abstract operator fun Int.times(other: C): C
abstract operator override fun Long.times(other: P): P
@JvmName(name = "timesLongConstant")
abstract operator fun Long.times(other: C): C
Link copied to clipboard
@JvmName(name = "unaryMinusVariable")
abstract operator fun V.unaryMinus(): P
abstract operator override fun P.unaryMinus(): P
@JvmName(name = "unaryMinusConstant")
abstract operator fun C.unaryMinus(): C
Link copied to clipboard
@JvmName(name = "unaryPlusVariable")
abstract operator fun V.unaryPlus(): P
open operator override fun P.unaryPlus(): P
@JvmName(name = "unaryPlusConstant")
open operator fun C.unaryPlus(): C
Link copied to clipboard
@JvmName(name = "valueOfVariable")
open fun valueOf(variable: V): P
@JvmName(name = "valueOfConstant")
open fun valueOf(value: C): P
open override fun valueOf(value: Int): P
open override fun valueOf(value: Long): P