kone.polynomial/dev.lounres.kone.polynomial/DSL1LabeledPolynomialTermSignatureBuilder

DSL1LabeledPolynomialTermSignatureBuilder

class DSL1LabeledPolynomialTermSignatureBuilder(source)

Constructors

constructor()

Functions

Link copied to clipboard
infix inline fun LabeledVariable.in(deg: UInt)
Link copied to clipboard
infix fun LabeledVariable.inPowerOf(deg: UInt)
Link copied to clipboard
infix inline fun LabeledVariable.of(deg: UInt)
Link copied to clipboard
infix inline fun LabeledVariable.pow(deg: UInt)