KernelCategory(S)

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

smaller? : (%, %) -> Boolean
from Comparable
symbolIfCan : % -> Union(Symbol, "failed")

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

~= : (%, %) -> Boolean
from BasicType

ConvertibleTo(Pattern(Integer))

CoercibleTo(OutputForm)

PartialOrder

Comparable

ConvertibleTo(InputForm)

OrderedSet

ConvertibleTo(Pattern(Float))

SetCategory

BasicType

Patternable(S)