kone.algebraicExtra/dev.lounres.kone.algebraic

Package-level declarations

Types

ComplexNumber

@Serializable

data class ComplexNumber<out Number>(val realPart: Number, val imaginaryPart: Number)

ComplexNumberEqualitySuppliableTopLevelFunctions

object ComplexNumberEqualitySuppliableTopLevelFunctions

ComplexNumberFieldExtensionOverSuppliableTopLevelFunctions

object ComplexNumberFieldExtensionOverSuppliableTopLevelFunctions

ComplexNumberHashingSuppliableTopLevelFunctions

object ComplexNumberHashingSuppliableTopLevelFunctions

LabeledPolynomial

@JvmInline

value class LabeledPolynomial<out Number> : KoneMap<LabeledPolynomial.MonomialSignature, Number>

LabeledPolynomialSuppliableTopLevelFunctions

object LabeledPolynomialSuppliableTopLevelFunctions

PolynomialAlgebra

interface PolynomialAlgebra<Number, Variable, Polynomial> : CommutativeAlgebra<Number, Polynomial>

UBigLong

@Serializable

@JvmInline

value class UBigLong

UBigLongContext

object UBigLongContext : Reification<UBigLong> , Equality<UBigLong> , Order<UBigLong> , Hashing<UBigLong> , EuclideanSemiring<UBigLong> , ExtendedSemiring<UBigLong>

ZeroPolynomialDegreeException

class ZeroPolynomialDegreeException(message: String? = null, cause: Throwable? = null) : IllegalArgumentException

Properties

context

val UBigLong.Companion.context: UBigLongContext

degree

context(variablesAndDegree: PolynomialAlgebra.VariablesAndDegree<*, Polynomial>)
val <Polynomial> Polynomial.degree: UInt

degrees

context(variablesAndDegree: PolynomialAlgebra.VariablesAndDegree<Variable, Polynomial>)
val <Variable, Polynomial> Polynomial.degrees: KoneMap<Variable, UInt>

numberOfVariables

context(variablesAndDegree: PolynomialAlgebra.VariablesAndDegree<*, Polynomial>)
val <Polynomial> Polynomial.numberOfVariables: UInt

variables

context(variablesAndDegree: PolynomialAlgebra.VariablesAndDegree<Variable, Polynomial>)
val <Variable, Polynomial> Polynomial.variables: KoneSet<Variable>

Functions

absoluteValue

context(_: CommutativeRing<Number>, _: PositiveSquareRootComputer<Number>)
fun <Number> ComplexNumber<Number>.absoluteValue(): Number

and

context(context: UBigLongContext)
infix fun UBigLong.and(other: UBigLong): UBigLong

argument

context(_: PlanarVectorArgumentComputer<Number>)
fun <Number> ComplexNumber<Number>.argument(): Number

comparator

fun LabeledPolynomial.Variable.Companion.comparator(nameOrder: Comparator<String> = Comparator.defaultFor()): Comparator<LabeledPolynomial.Variable>

conjugate

context(ring: CommutativeRing<Number>)
fun <Number> ComplexNumber<Number>.conjugate(): ComplexNumber<Number>

degreeBy

context(variablesAndDegree: PolynomialAlgebra.VariablesAndDegree<Variable, Polynomial>)
fun <Variable, Polynomial> Polynomial.degreeBy(variable: Variable): UInt

context(variablesAndDegree: PolynomialAlgebra.VariablesAndDegree<Variable, Polynomial>)
fun <Variable, Polynomial> Polynomial.degreeBy(variables: KoneSet<Variable>): UInt

degreeLexicographicComparator

fun LabeledPolynomial.MonomialSignature.Companion.degreeLexicographicComparator(variableOrder: Comparator<LabeledPolynomial.Variable> = LabeledPolynomial.Variable.lexicographicComparator(), degreeOrder: Comparator<UInt> = Comparator.defaultFor()): Comparator<LabeledPolynomial.MonomialSignature>

degreeLexicographicOrder

fun LabeledPolynomial.MonomialSignature.Companion.degreeLexicographicOrder(variableOrder: Order<LabeledPolynomial.Variable> = LabeledPolynomial.Variable.lexicographicOrder(), degreeOrder: Order<UInt> = Order.defaultFor()): Order<LabeledPolynomial.MonomialSignature>

equality

fun LabeledPolynomial.MonomialSignature.Companion.equality(): Equality<LabeledPolynomial.MonomialSignature>

fun LabeledPolynomial.Variable.Companion.equality(): Equality<LabeledPolynomial.Variable>

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

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

fieldExtensionOver

fun <Number> ComplexNumber.Companion.fieldExtensionOver(numberField: Field<Number>): FieldExtension<Number, ComplexNumber<Number>>

from

fun LabeledPolynomial.MonomialSignature.Companion.from(degrees: KoneIterable<KoneMapEntry<LabeledPolynomial.Variable, UInt>>): LabeledPolynomial.MonomialSignature

fun LabeledPolynomial.MonomialSignature.Companion.from(degrees: KoneMap<LabeledPolynomial.Variable, UInt>): LabeledPolynomial.MonomialSignature

fun LabeledPolynomial.MonomialSignature.Companion.from(vararg degrees: KoneMapEntry<LabeledPolynomial.Variable, UInt>): LabeledPolynomial.MonomialSignature

@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>

fun UBigLong.Companion.from(array: KoneULongArray): UBigLong

fun UBigLong.Companion.from(vararg array: ULong): UBigLong

fromUnsafe

@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 LabeledPolynomial.MonomialSignature.Companion.fromUnsafe(degrees: KoneIterable<KoneMapEntry<LabeledPolynomial.Variable, UInt>>): LabeledPolynomial.MonomialSignature

fun LabeledPolynomial.MonomialSignature.Companion.fromUnsafe(degrees: KoneMap<LabeledPolynomial.Variable, UInt>): LabeledPolynomial.MonomialSignature

fun LabeledPolynomial.MonomialSignature.Companion.fromUnsafe(vararg degrees: KoneMapEntry<LabeledPolynomial.Variable, UInt>): LabeledPolynomial.MonomialSignature

hashing

fun LabeledPolynomial.MonomialSignature.Companion.hashing(): Hashing<LabeledPolynomial.MonomialSignature>

fun LabeledPolynomial.Variable.Companion.hashing(): Hashing<LabeledPolynomial.Variable>

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

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

lexicographicComparator

fun LabeledPolynomial.Variable.Companion.lexicographicComparator(charactersOrder: Comparator<Char?> = Comparator.defaultFor<Char>().withNullAsLeast): Comparator<LabeledPolynomial.Variable>

fun LabeledPolynomial.MonomialSignature.Companion.lexicographicComparator(variableComparator: Comparator<LabeledPolynomial.Variable> = LabeledPolynomial.Variable.lexicographicComparator(), degreeComparator: Comparator<UInt> = Comparator.defaultFor()): Comparator<LabeledPolynomial.MonomialSignature>

lexicographicOrder

fun LabeledPolynomial.Variable.Companion.lexicographicOrder(charactersOrder: Order<Char?> = Order.defaultFor<Char>().withNullAsLeast): Order<LabeledPolynomial.Variable>

fun LabeledPolynomial.MonomialSignature.Companion.lexicographicOrder(variableOrder: Order<LabeledPolynomial.Variable> = LabeledPolynomial.Variable.lexicographicOrder(), degreeOrder: Order<UInt> = Order.defaultFor()): Order<LabeledPolynomial.MonomialSignature>

norm

context(ring: CommutativeRing<Number>)
fun <Number> ComplexNumber<Number>.norm(): Number

context(context: UBigLongContext)
infix fun UBigLong.or(other: UBigLong): UBigLong

order

fun LabeledPolynomial.Variable.Companion.order(nameOrder: Order<String> = Order.defaultFor()): Order<LabeledPolynomial.Variable>

polynomialAlgebra

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

reification

fun <Number> ComplexNumber.Companion.reification(numberReification: Reification<Number>): Reification<ComplexNumber<Number>>

shl

context(context: UBigLongContext)
infix fun UBigLong.shl(bitCount: UInt): UBigLong

shr

context(context: UBigLongContext)
infix fun UBigLong.shr(bitCount: UInt): UBigLong

toString

fun UBigLong.toString(radix: UInt): String

toUBigLong

fun UInt.toUBigLong(): UBigLong

fun ULong.toUBigLong(): UBigLong

fun String.toUBigLong(radix: UInt): UBigLong

toUInt

fun UBigLong.toUInt(): UInt

toULong

fun UBigLong.toULong(): ULong

xor

context(context: UBigLongContext)
infix fun UBigLong.xor(other: UBigLong): UBigLong

zeroPolynomialDegreeException

fun zeroPolynomialDegreeException(): Nothing