Kernel S

kl.spad line 219 [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

argument(op(a1, ..., an)) returns [a1, ..., an].

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

hash: % -> SingleInteger

from SetCategory

hashUpdate!: (HashState, %) -> HashState

from SetCategory

height: % -> NonNegativeInteger

height(k) returns the nesting level of k.

is?: (%, BasicOperator) -> Boolean

is?(op(a1, ..., an), f) tests if op = f.

is?: (%, Symbol) -> Boolean

is?(op(a1, ..., an), s) tests if the name of op is s.

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

kernel(op, [a1, ..., an], m) returns the kernel op(a1, ..., an) of nesting level m. Error: if op is k-ary for some k not equal to n.

kernel: Symbol -> %

kernel(x) returns x viewed as a kernel.

latex: % -> String

from SetCategory

max: (%, %) -> %

from OrderedSet

min: (%, %) -> %

from OrderedSet

name: % -> Symbol

name(op(a1, ..., an)) returns the name of op.

operator: % -> BasicOperator

operator(op(a1, ..., an)) returns the operator op.

position: % -> NonNegativeInteger

from CachableSet

setPosition: (%, NonNegativeInteger) -> Void

from CachableSet

smaller?: (%, %) -> Boolean

from Comparable

symbolIfCan: % -> Union(Symbol, failed)

symbolIfCan(k) returns k viewed as a symbol if k is a symbol, and “failed” otherwise.

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

OrderedSet

PartialOrder

Patternable S

SetCategory