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 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
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