kone.algebraicExtra/dev.lounres.kone.algebraic/LabeledPolynomial/Companion

Companion

object Companion(source)

Functions

fun <Number> LabeledPolynomial.Companion.equality(numberEquality: Equality<Number>): Equality<LabeledPolynomial<Number>>

@JvmName(name = "fromSignatures")

context(group: Monoid<Number>, equality: Equality<Number>)
fun <Number> LabeledPolynomial.Companion.from(coefficients: KoneIterable<KoneMapEntry<LabeledPolynomial.MonomialSignature, Number>>): LabeledPolynomial<Number>

@JvmName(name = "fromMaps")

context(group: Monoid<Number>, equality: Equality<Number>)
fun <Number> LabeledPolynomial.Companion.from(coefficients: KoneIterable<KoneMapEntry<KoneMap<LabeledPolynomial.Variable, UInt>, Number>>): LabeledPolynomial<Number>

@JvmName(name = "fromSignatures")

context(group: Monoid<Number>, equality: Equality<Number>)
fun <Number> LabeledPolynomial.Companion.from(coefficients: KoneMap<LabeledPolynomial.MonomialSignature, Number>): LabeledPolynomial<Number>

@JvmName(name = "fromMaps")

context(group: Monoid<Number>, equality: Equality<Number>)
fun <Number> LabeledPolynomial.Companion.from(coefficients: KoneMap<KoneMap<LabeledPolynomial.Variable, UInt>, Number>): LabeledPolynomial<Number>

@JvmName(name = "fromSignatures")

context(group: Monoid<Number>, equality: Equality<Number>)
fun <Number> LabeledPolynomial.Companion.from(vararg coefficients: KoneMapEntry<LabeledPolynomial.MonomialSignature, Number>): LabeledPolynomial<Number>

@JvmName(name = "fromMaps")

context(group: Monoid<Number>, equality: Equality<Number>)
fun <Number> LabeledPolynomial.Companion.from(vararg coefficients: KoneMapEntry<KoneMap<LabeledPolynomial.Variable, UInt>, Number>): LabeledPolynomial<Number>

@JvmName(name = "fromSignaturesUnsafe")

fun <Number> LabeledPolynomial.Companion.fromUnsafe(coefficients: KoneIterable<KoneMapEntry<LabeledPolynomial.MonomialSignature, Number>>): LabeledPolynomial<Number>

@JvmName(name = "fromMapsUnsafe")

fun <Number> LabeledPolynomial.Companion.fromUnsafe(coefficients: KoneIterable<KoneMapEntry<KoneMap<LabeledPolynomial.Variable, UInt>, Number>>): LabeledPolynomial<Number>

@JvmName(name = "fromSignaturesUnsafe")

fun <Number> LabeledPolynomial.Companion.fromUnsafe(coefficients: KoneMap<LabeledPolynomial.MonomialSignature, Number>): LabeledPolynomial<Number>

@JvmName(name = "fromMapsUnsafe")

fun <Number> LabeledPolynomial.Companion.fromUnsafe(coefficients: KoneMap<KoneMap<LabeledPolynomial.Variable, UInt>, Number>): LabeledPolynomial<Number>

@JvmName(name = "fromSignaturesUnsafe")

fun <Number> LabeledPolynomial.Companion.fromUnsafe(vararg coefficients: KoneMapEntry<LabeledPolynomial.MonomialSignature, Number>): LabeledPolynomial<Number>

@JvmName(name = "fromMapsUnsafe")

fun <Number> LabeledPolynomial.Companion.fromUnsafe(vararg coefficients: KoneMapEntry<KoneMap<LabeledPolynomial.Variable, UInt>, Number>): LabeledPolynomial<Number>

fun <Number> LabeledPolynomial.Companion.hashing(numberHashing: Hashing<Number>): Hashing<LabeledPolynomial<Number>>

polynomialAlgebra

fun <Number> LabeledPolynomial.Companion.polynomialAlgebra(ring: CommutativeRing<Number>, equality: Equality<Number>): PolynomialAlgebra<Number, LabeledPolynomial.Variable, LabeledPolynomial<Number>>

context(koneContextRegistry: KoneContextRegistry.Provider)
fun <Number> LabeledPolynomial.Companion.polynomialAlgebra(): PolynomialAlgebra<Number, LabeledPolynomial.Variable, LabeledPolynomial<Number>>

setPolynomialAlgebra

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>, koneContextRegistry: KoneContextRegistry.Provider)
fun <Number> LabeledPolynomial.Companion.setPolynomialAlgebra()

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun <Number> LabeledPolynomial.Companion.setPolynomialAlgebra(ring: CommutativeRing<Number>, equality: Equality<Number>)