Kernel SΒΆ

kl.spad line 263 [edit on github]

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

~=: (%, %) -> Boolean

from BasicType

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

BasicType

CachableSet

CoercibleTo OutputForm

Comparable

ConvertibleTo InputForm if S has ConvertibleTo InputForm

ConvertibleTo Pattern Float if S has ConvertibleTo Pattern Float

ConvertibleTo Pattern Integer if S has ConvertibleTo Pattern Integer

KernelCategory S

OrderedSet

PartialOrder

Patternable S

SetCategory