Kernel SΒΆ

kl.spad line 219

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