kone.polynomial/com.lounres.kone.polynomial/ListRationalFunctionSpace

ListRationalFunctionSpace

open class ListRationalFunctionSpace<C, out A : Ring<C>, out PS : ListPolynomialSpace<C, A>>(val polynomialRing: PS) : PolynomialSpaceOfFractions<C, ListPolynomial<C>, ListRationalFunction<C>> , RationalFunctionSpaceWithPolynomialSpace<C, ListPolynomial<C>, ListRationalFunction<C>, PS>

Arithmetic context for univariate rational functions with numerator and denominator represented as ListPolynomials.

Parameters

C

the type of constants. Polynomials have them a coefficients in their terms.

A

type of provided underlying ring of constants. It's Ring of C.

Inheritors

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
open override val ListPolynomial<C>.degree: Int
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
abstract override val one: ListRationalFunction<C>
Link copied to clipboard
open override val polynomialOne: ListPolynomial<C>
Link copied to clipboard
open override val polynomialRing: PS

Underlying polynomial ring. Its polynomial operations are inherited by local polynomial operations.

Link copied to clipboard
open override val C.polynomialValue: ListPolynomial<C>
open override val Int.polynomialValue: ListPolynomial<C>
open override val Long.polynomialValue: ListPolynomial<C>
Link copied to clipboard
open override val polynomialZero: ListPolynomial<C>
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
abstract override val zero: ListRationalFunction<C>

Functions

Link copied to clipboard
inline fun ListPolynomial<C>.asFunction(): (C) -> C

Represent this polynomial as a regular context-less function.

Link copied to clipboard
inline fun ListPolynomial<C>.asFunctionOfConstant(): (C) -> C

Represent this polynomial as a regular context-less function.

Link copied to clipboard
inline fun ListPolynomial<C>.asFunctionOfPolynomial(): (ListPolynomial<C>) -> ListPolynomial<C>

Represent this polynomial as a regular context-less function.

inline fun ListRationalFunction<C>.asFunctionOfPolynomial(): (ListPolynomial<C>) -> ListRationalFunction<C>

Represent this rational function as a regular context-less function.

Link copied to clipboard
inline fun ListPolynomial<C>.asFunctionOfRationalFunction(): (ListRationalFunction<C>) -> ListRationalFunction<C>

Represent this polynomial as a regular context-less function.

inline fun ListRationalFunction<C>.asFunctionOfRationalFunction(): (ListRationalFunction<C>) -> ListRationalFunction<C>

Represent this rational function as a regular context-less function.

Link copied to clipboard
open override fun constantValueOf(value: Int): C
open override fun constantValueOf(value: Long): C
Link copied to clipboard
@JvmName(name = "divConstantRational")
abstract operator fun C.div(other: ListRationalFunction<C>): ListRationalFunction<C>
@JvmName(name = "divPolynomialPolynomial")
abstract operator fun ListPolynomial<C>.div(other: ListPolynomial<C>): ListRationalFunction<C>
@JvmName(name = "divPolynomialRational")
abstract operator fun ListPolynomial<C>.div(other: ListRationalFunction<C>): ListRationalFunction<C>
@JvmName(name = "divRationalConstant")
abstract operator fun ListRationalFunction<C>.div(other: C): ListRationalFunction<C>
@JvmName(name = "divRationalPolynomial")
abstract operator fun ListRationalFunction<C>.div(other: ListPolynomial<C>): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.div(other: ListRationalFunction<C>): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.div(other: Int): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.div(other: Long): ListRationalFunction<C>
abstract operator override fun Int.div(other: ListRationalFunction<C>): ListRationalFunction<C>
abstract operator override fun Long.div(other: ListRationalFunction<C>): ListRationalFunction<C>
Link copied to clipboard
open infix override fun ListRationalFunction<C>.eq(other: ListRationalFunction<C>): Boolean
@JvmName(name = "eqConstantConstant")
open infix override fun C.eq(other: C): Boolean
@JvmName(name = "eqPolynomialPolynomial")
open infix override fun ListPolynomial<C>.eq(other: ListPolynomial<C>): Boolean
Link copied to clipboard
open infix override fun ListRationalFunction<C>.equalsTo(other: ListRationalFunction<C>): Boolean
@JvmName(name = "equalsToConstantConstant")
open infix override fun C.equalsTo(other: C): Boolean
@JvmName(name = "equalsToPolynomialPolynomial")
open infix override fun ListPolynomial<C>.equalsTo(other: ListPolynomial<C>): Boolean
Link copied to clipboard
inline operator fun ListPolynomial<C>.invoke(argument: C): C
inline operator fun ListPolynomial<C>.invoke(argument: ListPolynomial<C>): ListPolynomial<C>
inline operator fun ListPolynomial<C>.invoke(argument: ListRationalFunction<C>): ListRationalFunction<C>

Evaluates value of this polynomial on provided argument.

inline operator fun ListRationalFunction<C>.invoke(argument: ListPolynomial<C>): ListRationalFunction<C>
inline operator fun ListRationalFunction<C>.invoke(argument: ListRationalFunction<C>): ListRationalFunction<C>

Evaluates value of this rational function on provided argument.

Link copied to clipboard
open fun ListRationalFunction<C>.isNotOne(): Boolean
@JvmName(name = "isNotOneConstant")
open override fun C.isNotOne(): Boolean
@JvmName(name = "isNotOnePolynomial")
open override fun ListPolynomial<C>.isNotOne(): Boolean
Link copied to clipboard
open fun ListRationalFunction<C>.isNotZero(): Boolean
@JvmName(name = "isNotZeroConstant")
open override fun C.isNotZero(): Boolean
@JvmName(name = "isNotZeroPolynomial")
open override fun ListPolynomial<C>.isNotZero(): Boolean
Link copied to clipboard
open override fun ListRationalFunction<C>.isOne(): Boolean
@JvmName(name = "isOneConstant")
open override fun C.isOne(): Boolean
@JvmName(name = "isOnePolynomial")
open override fun ListPolynomial<C>.isOne(): Boolean
Link copied to clipboard
open override fun ListRationalFunction<C>.isZero(): Boolean
@JvmName(name = "isZeroConstant")
open override fun C.isZero(): Boolean
@JvmName(name = "isZeroPolynomial")
open override fun ListPolynomial<C>.isZero(): Boolean
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
fun <C> Ring<C>.ListRationalFunction(numerator: ListPolynomial<C>): ListRationalFunction<C>
fun <C> ListRationalFunctionSpace<C, *, *>.ListRationalFunction(numerator: ListPolynomial<C>): ListRationalFunction<C>

Constructs ListRationalFunction instance with provided numerator and unit denominator.

fun <C> Ring<C>.ListRationalFunction(numeratorCoefficients: List<C>, reverse: Boolean = false): ListRationalFunction<C>
fun <C> ListRationalFunctionSpace<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 = "minusConstantRational")
abstract operator fun C.minus(other: ListRationalFunction<C>): ListRationalFunction<C>
@JvmName(name = "minusPolynomialRational")
abstract operator fun ListPolynomial<C>.minus(other: ListRationalFunction<C>): ListRationalFunction<C>
@JvmName(name = "minusRationalConstant")
abstract operator fun ListRationalFunction<C>.minus(other: C): ListRationalFunction<C>
@JvmName(name = "minusRationalPolynomial")
abstract operator fun ListRationalFunction<C>.minus(other: ListPolynomial<C>): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.minus(other: ListRationalFunction<C>): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.minus(other: Int): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.minus(other: Long): ListRationalFunction<C>
abstract operator override fun Int.minus(other: ListRationalFunction<C>): ListRationalFunction<C>
abstract operator override fun Long.minus(other: ListRationalFunction<C>): ListRationalFunction<C>
@JvmName(name = "minusConstantConstant")
open operator override fun C.minus(other: C): C
@JvmName(name = "minusConstantPolynomial")
open operator override fun C.minus(other: ListPolynomial<C>): ListPolynomial<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 ListPolynomial<C>.minus(other: C): ListPolynomial<C>
@JvmName(name = "minusPolynomialPolynomial")
open operator override fun ListPolynomial<C>.minus(other: ListPolynomial<C>): ListPolynomial<C>
@JvmName(name = "minusPolynomialInt")
open operator override fun ListPolynomial<C>.minus(other: Int): ListPolynomial<C>
@JvmName(name = "minusPolynomialInt")
open operator override fun ListPolynomial<C>.minus(other: Long): ListPolynomial<C>
@JvmName(name = "minusIntConstant")
open operator override fun Int.minus(other: C): C
@JvmName(name = "minusIntPolynomial")
open operator override fun Int.minus(other: ListPolynomial<C>): ListPolynomial<C>
@JvmName(name = "minusLongConstant")
open operator override fun Long.minus(other: C): C
@JvmName(name = "minusLongPolynomial")
open operator override fun Long.minus(other: ListPolynomial<C>): ListPolynomial<C>
Link copied to clipboard
open infix fun ListRationalFunction<C>.neq(other: ListRationalFunction<C>): Boolean
@JvmName(name = "neqConstantConstant")
open infix fun C.neq(other: C): Boolean
@JvmName(name = "neqPolynomialPolynomial")
open infix fun ListPolynomial<C>.neq(other: ListPolynomial<C>): Boolean
Link copied to clipboard
open infix fun ListRationalFunction<C>.notEqualsTo(other: ListRationalFunction<C>): Boolean
@JvmName(name = "notEqualsToConstantConstant")
open infix fun C.notEqualsTo(other: C): Boolean
@JvmName(name = "notEqualsToPolynomialPolynomial")
open infix fun ListPolynomial<C>.notEqualsTo(other: ListPolynomial<C>): Boolean
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
@JvmName(name = "plusConstantRational")
abstract operator fun C.plus(other: ListRationalFunction<C>): ListRationalFunction<C>
@JvmName(name = "plusPolynomialRational")
abstract operator fun ListPolynomial<C>.plus(other: ListRationalFunction<C>): ListRationalFunction<C>
@JvmName(name = "plusRationalConstant")
abstract operator fun ListRationalFunction<C>.plus(other: C): ListRationalFunction<C>
@JvmName(name = "plusRationalPolynomial")
abstract operator fun ListRationalFunction<C>.plus(other: ListPolynomial<C>): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.plus(other: ListRationalFunction<C>): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.plus(other: Int): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.plus(other: Long): ListRationalFunction<C>
abstract operator override fun Int.plus(other: ListRationalFunction<C>): ListRationalFunction<C>
abstract operator override fun Long.plus(other: ListRationalFunction<C>): ListRationalFunction<C>
@JvmName(name = "plusConstantConstant")
open operator override fun C.plus(other: C): C
@JvmName(name = "plusConstantPolynomial")
open operator override fun C.plus(other: ListPolynomial<C>): ListPolynomial<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 ListPolynomial<C>.plus(other: C): ListPolynomial<C>
@JvmName(name = "plusPolynomialPolynomial")
open operator override fun ListPolynomial<C>.plus(other: ListPolynomial<C>): ListPolynomial<C>
@JvmName(name = "plusPolynomialInt")
open operator override fun ListPolynomial<C>.plus(other: Int): ListPolynomial<C>
@JvmName(name = "plusPolynomialInt")
open operator override fun ListPolynomial<C>.plus(other: Long): ListPolynomial<C>
@JvmName(name = "plusIntConstant")
open operator override fun Int.plus(other: C): C
@JvmName(name = "plusIntPolynomial")
open operator override fun Int.plus(other: ListPolynomial<C>): ListPolynomial<C>
@JvmName(name = "plusLongConstant")
open operator override fun Long.plus(other: C): C
@JvmName(name = "plusLongPolynomial")
open operator override fun Long.plus(other: ListPolynomial<C>): ListPolynomial<C>
Link copied to clipboard
open override fun polynomialValueOf(value: C): ListPolynomial<C>
open override fun polynomialValueOf(value: Int): ListPolynomial<C>
open override fun polynomialValueOf(value: Long): ListPolynomial<C>
Link copied to clipboard
open infix fun ListRationalFunction<C>.pow(exponent: Int): ListRationalFunction<C>
open infix fun ListRationalFunction<C>.pow(exponent: Long): ListRationalFunction<C>
open infix override fun ListRationalFunction<C>.pow(exponent: UInt): ListRationalFunction<C>
open infix override fun ListRationalFunction<C>.pow(exponent: ULong): ListRationalFunction<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 ListPolynomial<C>.pow(exponent: UInt): ListPolynomial<C>
@JvmName(name = "powPolynomial")
open infix override fun ListPolynomial<C>.pow(exponent: ULong): ListPolynomial<C>
Link copied to clipboard
open fun power(base: ListRationalFunction<C>, exponent: Int): ListRationalFunction<C>
open fun power(base: ListRationalFunction<C>, exponent: Long): ListRationalFunction<C>
open override fun power(base: ListRationalFunction<C>, exponent: UInt): ListRationalFunction<C>
open override fun power(base: ListRationalFunction<C>, exponent: ULong): ListRationalFunction<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: ListPolynomial<C>, exponent: UInt): ListPolynomial<C>
@JvmName(name = "powerPolynomial")
open override fun power(base: ListPolynomial<C>, exponent: ULong): ListPolynomial<C>
Link copied to clipboard
inline fun ListPolynomial<C>.substitute(argument: C): C

Evaluates value of this polynomial on provided argument.

inline fun ListPolynomial<C>.substitute(argument: ListPolynomial<C>): ListPolynomial<C>

Substitutes provided polynomial argument into this polynomial.

inline fun ListPolynomial<C>.substitute(argument: ListRationalFunction<C>): ListRationalFunction<C>

Substitutes provided rational function argument into this polynomial.

inline fun ListRationalFunction<C>.substitute(argument: ListPolynomial<C>): ListRationalFunction<C>

Substitutes provided polynomial argument into this rational function.

inline fun ListRationalFunction<C>.substitute(argument: ListRationalFunction<C>): ListRationalFunction<C>

Substitutes provided rational function argument into this rational function.

Link copied to clipboard
@JvmName(name = "timesConstantRational")
abstract operator fun C.times(other: ListRationalFunction<C>): ListRationalFunction<C>
@JvmName(name = "timesPolynomialRational")
abstract operator fun ListPolynomial<C>.times(other: ListRationalFunction<C>): ListRationalFunction<C>
@JvmName(name = "timesRationalConstant")
abstract operator fun ListRationalFunction<C>.times(other: C): ListRationalFunction<C>
@JvmName(name = "timesRationalPolynomial")
abstract operator fun ListRationalFunction<C>.times(other: ListPolynomial<C>): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.times(other: ListRationalFunction<C>): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.times(other: Int): ListRationalFunction<C>
abstract operator override fun ListRationalFunction<C>.times(other: Long): ListRationalFunction<C>
abstract operator override fun Int.times(other: ListRationalFunction<C>): ListRationalFunction<C>
abstract operator override fun Long.times(other: ListRationalFunction<C>): ListRationalFunction<C>
@JvmName(name = "timesConstantConstant")
open operator override fun C.times(other: C): C
@JvmName(name = "timesConstantPolynomial")
open operator override fun C.times(other: ListPolynomial<C>): ListPolynomial<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 ListPolynomial<C>.times(other: C): ListPolynomial<C>
@JvmName(name = "timesPolynomialPolynomial")
open operator override fun ListPolynomial<C>.times(other: ListPolynomial<C>): ListPolynomial<C>
@JvmName(name = "timesPolynomialInt")
open operator override fun ListPolynomial<C>.times(other: Int): ListPolynomial<C>
@JvmName(name = "timesPolynomialInt")
open operator override fun ListPolynomial<C>.times(other: Long): ListPolynomial<C>
@JvmName(name = "timesIntConstant")
open operator override fun Int.times(other: C): C
@JvmName(name = "timesIntPolynomial")
open operator override fun Int.times(other: ListPolynomial<C>): ListPolynomial<C>
@JvmName(name = "timesLongConstant")
open operator override fun Long.times(other: C): C
@JvmName(name = "timesLongPolynomial")
open operator override fun Long.times(other: ListPolynomial<C>): ListPolynomial<C>
Link copied to clipboard
abstract operator override fun ListRationalFunction<C>.unaryMinus(): ListRationalFunction<C>
@JvmName(name = "unaryMinusConstant")
open operator override fun C.unaryMinus(): C
@JvmName(name = "unaryMinusPolynomial")
open operator override fun ListPolynomial<C>.unaryMinus(): ListPolynomial<C>
Link copied to clipboard
open operator override fun ListRationalFunction<C>.unaryPlus(): ListRationalFunction<C>
@JvmName(name = "unaryPlusConstant")
open operator override fun C.unaryPlus(): C
@JvmName(name = "unaryPlusPolynomial")
open operator override fun ListPolynomial<C>.unaryPlus(): ListPolynomial<C>
Link copied to clipboard
open fun valueOf(value: C): ListRationalFunction<C>
open fun valueOf(value: ListPolynomial<C>): ListRationalFunction<C>
open override fun valueOf(value: Int): ListRationalFunction<C>
open override fun valueOf(value: Long): ListRationalFunction<C>