Constructors

Link copied to clipboard
constructor()

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
Link copied to clipboard
Link copied to clipboard
abstract override val one: RF
Link copied to clipboard
abstract val polynomialOne: P
Link copied to clipboard
@get:JvmName(name = "polynomialValueVariable")
open val V.polynomialValue: P
open val C.polynomialValue: P
Link copied to clipboard
abstract val polynomialZero: P
Link copied to clipboard
open val RF.reciprocal: RF
Link copied to clipboard
@get:JvmName(name = "valueVariable")
open val V.value: RF
open val P.value: RF
open val C.value: RF
open override val Int.value: RF
open override val Long.value: RF
Link copied to clipboard
open val P.variables: Set<V>
open val RF.variables: Set<V>
Link copied to clipboard
abstract override val zero: RF

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
@JvmName(name = "divRationalVariable")
open operator override fun RF.div(other: V): RF
@JvmName(name = "divVariableRational")
open operator override fun V.div(other: RF): RF
@JvmName(name = "divPolynomialPolynomial")
abstract operator fun P.div(other: P): RF
@JvmName(name = "divPolynomialRational")
abstract operator fun P.div(other: RF): RF
@JvmName(name = "divRationalPolynomial")
abstract operator fun RF.div(other: P): RF
abstract operator override fun RF.div(other: RF): RF
@JvmName(name = "divRationalConstant")
abstract operator fun RF.div(other: C): RF
abstract operator override fun RF.div(other: Int): RF
abstract operator override fun RF.div(other: Long): RF
@JvmName(name = "divConstantRational")
abstract operator fun C.div(other: RF): RF
abstract operator override fun Int.div(other: RF): RF
abstract operator override fun Long.div(other: RF): RF
Link copied to clipboard
@JvmName(name = "eqPolynomialPolynomial")
open infix fun P.eq(other: P): Boolean
open infix override fun RF.eq(other: RF): Boolean
@JvmName(name = "eqConstantConstant")
open infix fun C.eq(other: C): Boolean
Link copied to clipboard
@JvmName(name = "equalsToPolynomialPolynomial")
open infix fun P.equalsTo(other: P): Boolean
open infix override fun RF.equalsTo(other: RF): Boolean
@JvmName(name = "equalsToConstantConstant")
open infix fun C.equalsTo(other: C): Boolean
Link copied to clipboard
open fun RF.isNotOne(): Boolean
@JvmName(name = "isNotOnePolynomial")
open fun P.isNotOne(): Boolean
@JvmName(name = "isNotOneConstant")
open fun C.isNotOne(): Boolean
Link copied to clipboard
open fun RF.isNotZero(): Boolean
@JvmName(name = "isNotZeroPolynomial")
open fun P.isNotZero(): Boolean
@JvmName(name = "isNotZeroConstant")
open fun C.isNotZero(): Boolean
Link copied to clipboard
@JvmName(name = "isOnePolynomial")
open fun P.isOne(): Boolean
open override fun RF.isOne(): Boolean
@JvmName(name = "isOneConstant")
open fun C.isOne(): Boolean
Link copied to clipboard
@JvmName(name = "isZeroPolynomial")
open fun P.isZero(): Boolean
open override fun RF.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 = "minusRationalVariable")
open operator override fun RF.minus(other: V): RF
@JvmName(name = "minusVariableRational")
open operator override fun V.minus(other: RF): RF
@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
@JvmName(name = "minusPolynomialPolynomial")
abstract operator fun P.minus(other: P): P
@JvmName(name = "minusPolynomialRational")
abstract operator fun P.minus(other: RF): RF
@JvmName(name = "minusPolynomialConstant")
abstract operator fun P.minus(other: C): P
@JvmName(name = "minusPolynomialInt")
abstract operator fun P.minus(other: Int): P
@JvmName(name = "minusPolynomialInt")
abstract operator fun P.minus(other: Long): P
@JvmName(name = "minusRationalPolynomial")
abstract operator fun RF.minus(other: P): RF
abstract operator override fun RF.minus(other: RF): RF
@JvmName(name = "minusRationalConstant")
abstract operator fun RF.minus(other: C): RF
abstract operator override fun RF.minus(other: Int): RF
abstract operator override fun RF.minus(other: Long): RF
@JvmName(name = "minusConstantPolynomial")
abstract operator fun C.minus(other: P): P
@JvmName(name = "minusConstantRational")
abstract operator fun C.minus(other: RF): RF
@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
@JvmName(name = "minusIntPolynomial")
abstract operator fun Int.minus(other: P): P
abstract operator override fun Int.minus(other: RF): RF
@JvmName(name = "minusIntConstant")
abstract operator fun Int.minus(other: C): C
@JvmName(name = "minusLongPolynomial")
abstract operator fun Long.minus(other: P): P
abstract operator override fun Long.minus(other: RF): RF
@JvmName(name = "minusLongConstant")
abstract operator fun Long.minus(other: C): C
Link copied to clipboard
open infix fun RF.neq(other: RF): Boolean
@JvmName(name = "neqPolynomialPolynomial")
open infix fun P.neq(other: P): Boolean
@JvmName(name = "neqConstantConstant")
open infix fun C.neq(other: C): Boolean
Link copied to clipboard
open infix fun RF.notEqualsTo(other: RF): Boolean
@JvmName(name = "notEqualsToPolynomialPolynomial")
open infix fun P.notEqualsTo(other: P): Boolean
@JvmName(name = "notEqualsToConstantConstant")
open infix fun C.notEqualsTo(other: C): Boolean
Link copied to clipboard
@JvmName(name = "plusRationalVariable")
open operator override fun RF.plus(other: V): RF
@JvmName(name = "plusVariableRational")
open operator override fun V.plus(other: RF): RF
@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
@JvmName(name = "plusPolynomialPolynomial")
abstract operator fun P.plus(other: P): P
@JvmName(name = "plusPolynomialRational")
abstract operator fun P.plus(other: RF): RF
@JvmName(name = "plusPolynomialConstant")
abstract operator fun P.plus(other: C): P
@JvmName(name = "plusPolynomialInt")
abstract operator fun P.plus(other: Int): P
@JvmName(name = "plusPolynomialInt")
abstract operator fun P.plus(other: Long): P
@JvmName(name = "plusRationalPolynomial")
abstract operator fun RF.plus(other: P): RF
abstract operator override fun RF.plus(other: RF): RF
@JvmName(name = "plusRationalConstant")
abstract operator fun RF.plus(other: C): RF
abstract operator override fun RF.plus(other: Int): RF
abstract operator override fun RF.plus(other: Long): RF
@JvmName(name = "plusConstantPolynomial")
abstract operator fun C.plus(other: P): P
@JvmName(name = "plusConstantRational")
abstract operator fun C.plus(other: RF): RF
@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
@JvmName(name = "plusIntPolynomial")
abstract operator fun Int.plus(other: P): P
abstract operator override fun Int.plus(other: RF): RF
@JvmName(name = "plusIntConstant")
abstract operator fun Int.plus(other: C): C
@JvmName(name = "plusLongPolynomial")
abstract operator fun Long.plus(other: P): P
abstract operator override fun Long.plus(other: RF): RF
@JvmName(name = "plusLongConstant")
abstract operator fun Long.plus(other: C): C
Link copied to clipboard
@JvmName(name = "polynomialValueOfVariable")
open fun polynomialValueOf(variable: V): P
open fun polynomialValueOf(value: C): P
open fun polynomialValueOf(value: Int): P
open fun polynomialValueOf(value: Long): P
Link copied to clipboard
open infix fun RF.pow(exponent: Int): RF
open infix fun RF.pow(exponent: Long): RF
@JvmName(name = "powPolynomial")
open infix fun P.pow(exponent: UInt): P
@JvmName(name = "powPolynomial")
open infix fun P.pow(exponent: ULong): P
open infix override fun RF.pow(exponent: UInt): RF
open infix override fun RF.pow(exponent: ULong): RF
@JvmName(name = "powConstant")
open infix fun C.pow(exponent: UInt): C
@JvmName(name = "powConstant")
open infix fun C.pow(exponent: ULong): C
Link copied to clipboard
open fun power(base: RF, exponent: Int): RF
open fun power(base: RF, exponent: Long): RF
@JvmName(name = "powerPolynomial")
open fun power(base: P, exponent: UInt): P
@JvmName(name = "powerPolynomial")
open fun power(base: P, exponent: ULong): P
open override fun power(base: RF, exponent: UInt): RF
open override fun power(base: RF, exponent: ULong): RF
@JvmName(name = "powerConstant")
open fun power(base: C, exponent: UInt): C
@JvmName(name = "powerConstant")
open fun power(base: C, exponent: ULong): C
Link copied to clipboard
@JvmName(name = "timesRationalVariable")
open operator override fun RF.times(other: V): RF
@JvmName(name = "timesVariableRational")
open operator override fun V.times(other: RF): RF
@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
@JvmName(name = "timesPolynomialPolynomial")
abstract operator fun P.times(other: P): P
@JvmName(name = "timesPolynomialRational")
abstract operator fun P.times(other: RF): RF
@JvmName(name = "timesPolynomialConstant")
abstract operator fun P.times(other: C): P
@JvmName(name = "timesPolynomialInt")
abstract operator fun P.times(other: Int): P
@JvmName(name = "timesPolynomialInt")
abstract operator fun P.times(other: Long): P
@JvmName(name = "timesRationalPolynomial")
abstract operator fun RF.times(other: P): RF
abstract operator override fun RF.times(other: RF): RF
@JvmName(name = "timesRationalConstant")
abstract operator fun RF.times(other: C): RF
abstract operator override fun RF.times(other: Int): RF
abstract operator override fun RF.times(other: Long): RF
@JvmName(name = "timesConstantPolynomial")
abstract operator fun C.times(other: P): P
@JvmName(name = "timesConstantRational")
abstract operator fun C.times(other: RF): RF
@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
@JvmName(name = "timesIntPolynomial")
abstract operator fun Int.times(other: P): P
abstract operator override fun Int.times(other: RF): RF
@JvmName(name = "timesIntConstant")
abstract operator fun Int.times(other: C): C
@JvmName(name = "timesLongPolynomial")
abstract operator fun Long.times(other: P): P
abstract operator override fun Long.times(other: RF): RF
@JvmName(name = "timesLongConstant")
abstract operator fun Long.times(other: C): C
Link copied to clipboard
@JvmName(name = "unaryMinusVariable")
abstract operator fun V.unaryMinus(): P
@JvmName(name = "unaryMinusPolynomial")
abstract operator fun P.unaryMinus(): P
abstract operator override fun RF.unaryMinus(): RF
@JvmName(name = "unaryMinusConstant")
abstract operator fun C.unaryMinus(): C
Link copied to clipboard
@JvmName(name = "unaryPlusVariable")
abstract operator fun V.unaryPlus(): P
@JvmName(name = "unaryPlusPolynomial")
open operator fun P.unaryPlus(): P
open operator override fun RF.unaryPlus(): RF
@JvmName(name = "unaryPlusConstant")
open operator fun C.unaryPlus(): C
Link copied to clipboard
@JvmName(name = "valueOfVariable")
open fun valueOf(variable: V): RF
open fun valueOf(value: P): RF
open fun valueOf(value: C): RF
open override fun valueOf(value: Int): RF
open override fun valueOf(value: Long): RF