Constructors

Link copied to clipboard
constructor(polynomialRing: PS)

Properties

Link copied to clipboard
open override val constantOne: C
Link copied to clipboard
open override val Int.constantValue: C
open override val Long.constantValue: C
Link copied to clipboard
open override val constantZero: C
Link copied to clipboard
Link copied to clipboard
open override val LabeledPolynomial<C>.degree: Int
Link copied to clipboard
open override val LabeledPolynomial<C>.degrees: Map<Symbol, UInt>
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
abstract override val one: LabeledRationalFunction<C>
Link copied to clipboard
open override val polynomialOne: LabeledPolynomial<C>
Link copied to clipboard
open override val polynomialRing: PS
Link copied to clipboard
@get:JvmName(name = "polynomialValueVariable")
open override val Symbol.polynomialValue: LabeledPolynomial<C>
open override val C.polynomialValue: LabeledPolynomial<C>
Link copied to clipboard
open override val polynomialZero: LabeledPolynomial<C>
Link copied to clipboard
@get:JvmName(name = "valueVariable")
open val Symbol.value: LabeledRationalFunction<C>
open override val Int.value: LabeledRationalFunction<C>
open override val Long.value: LabeledRationalFunction<C>
Link copied to clipboard
open override val LabeledPolynomial<C>.variables: Set<Symbol>
Link copied to clipboard
abstract override val zero: LabeledRationalFunction<C>

Functions

Link copied to clipboard
open override fun constantValueOf(value: Int): C
open override fun constantValueOf(value: Long): C
Link copied to clipboard
open override fun LabeledPolynomial<C>.degreeBy(variables: Collection<Symbol>): UInt
open override fun LabeledPolynomial<C>.degreeBy(variable: Symbol): UInt
Link copied to clipboard
@JvmName(name = "divRationalVariable")
abstract operator fun LabeledRationalFunction<C>.div(other: Symbol): LabeledRationalFunction<C>
@JvmName(name = "divVariableRational")
abstract operator fun Symbol.div(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "divConstantRational")
abstract operator fun C.div(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "divPolynomialPolynomial")
abstract operator fun LabeledPolynomial<C>.div(other: LabeledPolynomial<C>): LabeledRationalFunction<C>
@JvmName(name = "divPolynomialRational")
abstract operator fun LabeledPolynomial<C>.div(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "divRationalConstant")
abstract operator fun LabeledRationalFunction<C>.div(other: C): LabeledRationalFunction<C>
@JvmName(name = "divRationalPolynomial")
abstract operator fun LabeledRationalFunction<C>.div(other: LabeledPolynomial<C>): LabeledRationalFunction<C>
abstract operator override fun LabeledRationalFunction<C>.div(other: Int): LabeledRationalFunction<C>
abstract operator override fun LabeledRationalFunction<C>.div(other: Long): LabeledRationalFunction<C>
abstract operator override fun Int.div(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
abstract operator override fun Long.div(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
Link copied to clipboard
open infix override fun LabeledRationalFunction<C>.eq(other: LabeledRationalFunction<C>): Boolean
@JvmName(name = "eqConstantConstant")
open infix override fun C.eq(other: C): Boolean
@JvmName(name = "eqPolynomialPolynomial")
open infix override fun LabeledPolynomial<C>.eq(other: LabeledPolynomial<C>): Boolean
Link copied to clipboard
@JvmName(name = "equalsToConstantConstant")
open infix override fun C.equalsTo(other: C): Boolean
@JvmName(name = "equalsToPolynomialPolynomial")
open infix override fun LabeledPolynomial<C>.equalsTo(other: LabeledPolynomial<C>): Boolean
Link copied to clipboard
@JvmName(name = "isNotOneConstant")
open override fun C.isNotOne(): Boolean
@JvmName(name = "isNotOnePolynomial")
open override fun LabeledPolynomial<C>.isNotOne(): Boolean
Link copied to clipboard
@JvmName(name = "isNotZeroConstant")
open override fun C.isNotZero(): Boolean
@JvmName(name = "isNotZeroPolynomial")
open override fun LabeledPolynomial<C>.isNotZero(): Boolean
Link copied to clipboard
open override fun LabeledRationalFunction<C>.isOne(): Boolean
@JvmName(name = "isOneConstant")
open override fun C.isOne(): Boolean
@JvmName(name = "isOnePolynomial")
open override fun LabeledPolynomial<C>.isOne(): Boolean
Link copied to clipboard
open override fun LabeledRationalFunction<C>.isZero(): Boolean
@JvmName(name = "isZeroConstant")
open override fun C.isZero(): Boolean
@JvmName(name = "isZeroPolynomial")
open override fun LabeledPolynomial<C>.isZero(): Boolean
Link copied to clipboard
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")
abstract operator fun LabeledRationalFunction<C>.minus(other: Symbol): LabeledRationalFunction<C>
@JvmName(name = "minusVariableRational")
abstract operator fun Symbol.minus(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "minusConstantVariable")
open operator override fun C.minus(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "minusPolynomialVariable")
open operator override fun LabeledPolynomial<C>.minus(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "minusIntVariable")
open operator override fun Int.minus(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "minusLongVariable")
open operator override fun Long.minus(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "minusVariableConstant")
open operator override fun Symbol.minus(other: C): LabeledPolynomial<C>
@JvmName(name = "minusVariablePolynomial")
open operator override fun Symbol.minus(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "minusVariableInt")
open operator override fun Symbol.minus(other: Int): LabeledPolynomial<C>
@JvmName(name = "minusVariableLong")
open operator override fun Symbol.minus(other: Long): LabeledPolynomial<C>
@JvmName(name = "minusVariableVariable")
open operator override fun Symbol.minus(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "minusConstantRational")
abstract operator fun C.minus(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "minusPolynomialRational")
abstract operator fun LabeledPolynomial<C>.minus(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "minusRationalConstant")
abstract operator fun LabeledRationalFunction<C>.minus(other: C): LabeledRationalFunction<C>
@JvmName(name = "minusRationalPolynomial")
abstract operator fun LabeledRationalFunction<C>.minus(other: LabeledPolynomial<C>): LabeledRationalFunction<C>
abstract operator override fun LabeledRationalFunction<C>.minus(other: Int): LabeledRationalFunction<C>
abstract operator override fun LabeledRationalFunction<C>.minus(other: Long): LabeledRationalFunction<C>
abstract operator override fun Int.minus(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
abstract operator override fun Long.minus(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "minusConstantConstant")
open operator override fun C.minus(other: C): C
@JvmName(name = "minusConstantPolynomial")
open operator override fun C.minus(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "minusConstantInt")
open operator override fun C.minus(other: Int): C
@JvmName(name = "minusConstantLong")
open operator override fun C.minus(other: Long): C
@JvmName(name = "minusPolynomialConstant")
open operator override fun LabeledPolynomial<C>.minus(other: C): LabeledPolynomial<C>
@JvmName(name = "minusPolynomialPolynomial")
open operator override fun LabeledPolynomial<C>.minus(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "minusPolynomialInt")
open operator override fun LabeledPolynomial<C>.minus(other: Int): LabeledPolynomial<C>
@JvmName(name = "minusPolynomialInt")
open operator override fun LabeledPolynomial<C>.minus(other: Long): LabeledPolynomial<C>
@JvmName(name = "minusIntConstant")
open operator override fun Int.minus(other: C): C
@JvmName(name = "minusIntPolynomial")
open operator override fun Int.minus(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "minusLongConstant")
open operator override fun Long.minus(other: C): C
@JvmName(name = "minusLongPolynomial")
open operator override fun Long.minus(other: LabeledPolynomial<C>): LabeledPolynomial<C>
Link copied to clipboard
@JvmName(name = "neqConstantConstant")
open infix fun C.neq(other: C): Boolean
@JvmName(name = "neqPolynomialPolynomial")
open infix fun LabeledPolynomial<C>.neq(other: LabeledPolynomial<C>): Boolean
Link copied to clipboard
@JvmName(name = "notEqualsToConstantConstant")
open infix fun C.notEqualsTo(other: C): Boolean
@JvmName(name = "notEqualsToPolynomialPolynomial")
open infix fun LabeledPolynomial<C>.notEqualsTo(other: LabeledPolynomial<C>): Boolean
Link copied to clipboard
@JvmName(name = "plusRationalVariable")
abstract operator fun LabeledRationalFunction<C>.plus(other: Symbol): LabeledRationalFunction<C>
@JvmName(name = "plusVariableRational")
abstract operator fun Symbol.plus(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "plusConstantVariable")
open operator override fun C.plus(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "plusPolynomialVariable")
open operator override fun LabeledPolynomial<C>.plus(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "plusIntVariable")
open operator override fun Int.plus(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "plusLongVariable")
open operator override fun Long.plus(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "plusVariableConstant")
open operator override fun Symbol.plus(other: C): LabeledPolynomial<C>
@JvmName(name = "plusVariablePolynomial")
open operator override fun Symbol.plus(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "plusVariableInt")
open operator override fun Symbol.plus(other: Int): LabeledPolynomial<C>
@JvmName(name = "plusVariableLong")
open operator override fun Symbol.plus(other: Long): LabeledPolynomial<C>
@JvmName(name = "plusVariableVariable")
open operator override fun Symbol.plus(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "plusConstantRational")
abstract operator fun C.plus(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "plusPolynomialRational")
abstract operator fun LabeledPolynomial<C>.plus(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "plusRationalConstant")
abstract operator fun LabeledRationalFunction<C>.plus(other: C): LabeledRationalFunction<C>
@JvmName(name = "plusRationalPolynomial")
abstract operator fun LabeledRationalFunction<C>.plus(other: LabeledPolynomial<C>): LabeledRationalFunction<C>
abstract operator override fun LabeledRationalFunction<C>.plus(other: Int): LabeledRationalFunction<C>
abstract operator override fun LabeledRationalFunction<C>.plus(other: Long): LabeledRationalFunction<C>
abstract operator override fun Int.plus(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
abstract operator override fun Long.plus(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "plusConstantConstant")
open operator override fun C.plus(other: C): C
@JvmName(name = "plusConstantPolynomial")
open operator override fun C.plus(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "plusConstantInt")
open operator override fun C.plus(other: Int): C
@JvmName(name = "plusConstantLong")
open operator override fun C.plus(other: Long): C
@JvmName(name = "plusPolynomialConstant")
open operator override fun LabeledPolynomial<C>.plus(other: C): LabeledPolynomial<C>
@JvmName(name = "plusPolynomialPolynomial")
open operator override fun LabeledPolynomial<C>.plus(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "plusPolynomialInt")
open operator override fun LabeledPolynomial<C>.plus(other: Int): LabeledPolynomial<C>
@JvmName(name = "plusPolynomialInt")
open operator override fun LabeledPolynomial<C>.plus(other: Long): LabeledPolynomial<C>
@JvmName(name = "plusIntConstant")
open operator override fun Int.plus(other: C): C
@JvmName(name = "plusIntPolynomial")
open operator override fun Int.plus(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "plusLongConstant")
open operator override fun Long.plus(other: C): C
@JvmName(name = "plusLongPolynomial")
open operator override fun Long.plus(other: LabeledPolynomial<C>): LabeledPolynomial<C>
Link copied to clipboard
@JvmName(name = "polynomialValueOfVariable")
open override fun polynomialValueOf(variable: Symbol): LabeledPolynomial<C>
open override fun polynomialValueOf(value: C): LabeledPolynomial<C>
open override fun polynomialValueOf(value: Int): LabeledPolynomial<C>
open override fun polynomialValueOf(value: Long): LabeledPolynomial<C>
Link copied to clipboard
open infix override fun LabeledRationalFunction<C>.pow(exponent: UInt): LabeledRationalFunction<C>
open infix override fun LabeledRationalFunction<C>.pow(exponent: ULong): LabeledRationalFunction<C>
@JvmName(name = "powConstant")
open infix override fun C.pow(exponent: UInt): C
@JvmName(name = "powConstant")
open infix override fun C.pow(exponent: ULong): C
@JvmName(name = "powPolynomial")
open infix override fun LabeledPolynomial<C>.pow(exponent: UInt): LabeledPolynomial<C>
@JvmName(name = "powPolynomial")
open infix override fun LabeledPolynomial<C>.pow(exponent: ULong): LabeledPolynomial<C>
Link copied to clipboard
open override fun power(base: LabeledRationalFunction<C>, exponent: UInt): LabeledRationalFunction<C>
open override fun power(base: LabeledRationalFunction<C>, exponent: ULong): LabeledRationalFunction<C>
@JvmName(name = "powerConstant")
open override fun power(base: C, exponent: UInt): C
@JvmName(name = "powerConstant")
open override fun power(base: C, exponent: ULong): C
@JvmName(name = "powerPolynomial")
open override fun power(base: LabeledPolynomial<C>, exponent: UInt): LabeledPolynomial<C>
@JvmName(name = "powerPolynomial")
open override fun power(base: LabeledPolynomial<C>, exponent: ULong): LabeledPolynomial<C>
Link copied to clipboard
inline fun LabeledPolynomial<C>.substitute(argument: Map<Symbol, C>): LabeledPolynomial<C>
@JvmName(name = "substitutePolynomial")
inline fun LabeledPolynomial<C>.substitute(argument: Map<Symbol, LabeledPolynomial<C>>): LabeledPolynomial<C>
@JvmName(name = "substituteRationalFunction")
inline fun LabeledPolynomial<C>.substitute(argument: Map<Symbol, LabeledRationalFunction<C>>): LabeledRationalFunction<C>
@JvmName(name = "substitutePolynomial")
inline fun LabeledRationalFunction<C>.substitute(argument: Map<Symbol, LabeledPolynomial<C>>): LabeledRationalFunction<C>
@JvmName(name = "substituteRationalFunction")
inline fun LabeledRationalFunction<C>.substitute(argument: Map<Symbol, LabeledRationalFunction<C>>): LabeledRationalFunction<C>
Link copied to clipboard
@JvmName(name = "timesRationalVariable")
abstract operator fun LabeledRationalFunction<C>.times(other: Symbol): LabeledRationalFunction<C>
@JvmName(name = "timesVariableRational")
abstract operator fun Symbol.times(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "timesConstantVariable")
open operator override fun C.times(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "timesPolynomialVariable")
open operator override fun LabeledPolynomial<C>.times(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "timesIntVariable")
open operator override fun Int.times(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "timesLongVariable")
open operator override fun Long.times(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "timesVariableConstant")
open operator override fun Symbol.times(other: C): LabeledPolynomial<C>
@JvmName(name = "timesVariablePolynomial")
open operator override fun Symbol.times(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "timesVariableInt")
open operator override fun Symbol.times(other: Int): LabeledPolynomial<C>
@JvmName(name = "timesVariableLong")
open operator override fun Symbol.times(other: Long): LabeledPolynomial<C>
@JvmName(name = "timesVariableVariable")
open operator override fun Symbol.times(other: Symbol): LabeledPolynomial<C>
@JvmName(name = "timesConstantRational")
abstract operator fun C.times(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "timesPolynomialRational")
abstract operator fun LabeledPolynomial<C>.times(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "timesRationalConstant")
abstract operator fun LabeledRationalFunction<C>.times(other: C): LabeledRationalFunction<C>
@JvmName(name = "timesRationalPolynomial")
abstract operator fun LabeledRationalFunction<C>.times(other: LabeledPolynomial<C>): LabeledRationalFunction<C>
abstract operator override fun LabeledRationalFunction<C>.times(other: Int): LabeledRationalFunction<C>
abstract operator override fun LabeledRationalFunction<C>.times(other: Long): LabeledRationalFunction<C>
abstract operator override fun Int.times(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
abstract operator override fun Long.times(other: LabeledRationalFunction<C>): LabeledRationalFunction<C>
@JvmName(name = "timesConstantConstant")
open operator override fun C.times(other: C): C
@JvmName(name = "timesConstantPolynomial")
open operator override fun C.times(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "timesConstantInt")
open operator override fun C.times(other: Int): C
@JvmName(name = "timesConstantLong")
open operator override fun C.times(other: Long): C
@JvmName(name = "timesPolynomialConstant")
open operator override fun LabeledPolynomial<C>.times(other: C): LabeledPolynomial<C>
@JvmName(name = "timesPolynomialPolynomial")
open operator override fun LabeledPolynomial<C>.times(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "timesPolynomialInt")
open operator override fun LabeledPolynomial<C>.times(other: Int): LabeledPolynomial<C>
@JvmName(name = "timesPolynomialInt")
open operator override fun LabeledPolynomial<C>.times(other: Long): LabeledPolynomial<C>
@JvmName(name = "timesIntConstant")
open operator override fun Int.times(other: C): C
@JvmName(name = "timesIntPolynomial")
open operator override fun Int.times(other: LabeledPolynomial<C>): LabeledPolynomial<C>
@JvmName(name = "timesLongConstant")
open operator override fun Long.times(other: C): C
@JvmName(name = "timesLongPolynomial")
open operator override fun Long.times(other: LabeledPolynomial<C>): LabeledPolynomial<C>
Link copied to clipboard
@JvmName(name = "unaryMinusVariable")
open operator override fun Symbol.unaryMinus(): LabeledPolynomial<C>
abstract operator override fun LabeledRationalFunction<C>.unaryMinus(): LabeledRationalFunction<C>
@JvmName(name = "unaryMinusConstant")
open operator override fun C.unaryMinus(): C
@JvmName(name = "unaryMinusPolynomial")
open operator override fun LabeledPolynomial<C>.unaryMinus(): LabeledPolynomial<C>
Link copied to clipboard
@JvmName(name = "unaryPlusVariable")
open operator override fun Symbol.unaryPlus(): LabeledPolynomial<C>
@JvmName(name = "unaryPlusConstant")
open operator override fun C.unaryPlus(): C
@JvmName(name = "unaryPlusPolynomial")
open operator override fun LabeledPolynomial<C>.unaryPlus(): LabeledPolynomial<C>
Link copied to clipboard
@JvmName(name = "valueOfVariable")
open fun valueOf(variable: Symbol): LabeledRationalFunction<C>
open fun valueOf(value: C): LabeledRationalFunction<C>
open override fun valueOf(value: Int): LabeledRationalFunction<C>
open override fun valueOf(value: Long): LabeledRationalFunction<C>