Kernel(S)

kl.spad line 263 [edit on github]

• S : Comparable

A kernel over a set S is an operator applied to a given list of arguments from S.

< : (%, %) -> Boolean

from PartialOrder

<= : (%, %) -> Boolean

from PartialOrder

= : (%, %) -> Boolean

from BasicType

> : (%, %) -> Boolean

from PartialOrder

>= : (%, %) -> Boolean

from PartialOrder

argument : % -> List(S)

from KernelCategory(S)

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

convert : % -> InputForm if S has ConvertibleTo(InputForm)

from ConvertibleTo(InputForm)

convert : % -> Pattern(Float) if S has ConvertibleTo(Pattern(Float))

from ConvertibleTo(Pattern(Float))

convert : % -> Pattern(Integer) if S has ConvertibleTo(Pattern(Integer))

from ConvertibleTo(Pattern(Integer))

height : % -> NonNegativeInteger

from KernelCategory(S)

is? : (%, BasicOperator) -> Boolean

from KernelCategory(S)

is? : (%, Symbol) -> Boolean

from KernelCategory(S)

kernel : (BasicOperator, List(S), NonNegativeInteger) -> %

from KernelCategory(S)

kernel : Symbol -> %

from KernelCategory(S)

latex : % -> String

from SetCategory

max : (%, %) -> %

from OrderedSet

min : (%, %) -> %

from OrderedSet

name : % -> Symbol

from KernelCategory(S)

operator : % -> BasicOperator

from KernelCategory(S)

position : % -> NonNegativeInteger

from CachableSet

setPosition : (%, NonNegativeInteger) -> Void

from CachableSet

smaller? : (%, %) -> Boolean

from Comparable

symbolIfCan : % -> Union(Symbol, "failed")

from KernelCategory(S)

~= : (%, %) -> Boolean

from BasicType

ConvertibleTo(Pattern(Float))

ConvertibleTo(InputForm)

CoercibleTo(OutputForm)

CachableSet

Comparable

KernelCategory(S)

OrderedSet

SetCategory

ConvertibleTo(Pattern(Integer))

Patternable(S)

BasicType

PartialOrder