FullyPatternMatchable RΒΆ

patmatch1.spad line 182

A set S is PatternMatchable over R if S can lift the pattern-matching functions of S over the integers and float to itself (necessary for matching in towers).

=: (%, %) -> Boolean if R has PatternMatchable Float or R has PatternMatchable Integer
from BasicType
~=: (%, %) -> Boolean if R has PatternMatchable Float or R has PatternMatchable Integer
from BasicType
coerce: % -> OutputForm if R has PatternMatchable Float or R has PatternMatchable Integer
from CoercibleTo OutputForm
hash: % -> SingleInteger if R has PatternMatchable Float or R has PatternMatchable Integer
from SetCategory
hashUpdate!: (HashState, %) -> HashState if R has PatternMatchable Float or R has PatternMatchable Integer
from SetCategory
latex: % -> String if R has PatternMatchable Float or R has PatternMatchable Integer
from SetCategory
patternMatch: (%, Pattern Float, PatternMatchResult(Float, %)) -> PatternMatchResult(Float, %) if R has PatternMatchable Float
from PatternMatchable Float
patternMatch: (%, Pattern Integer, PatternMatchResult(Integer, %)) -> PatternMatchResult(Integer, %) if R has PatternMatchable Integer
from PatternMatchable Integer

BasicType if R has PatternMatchable Float or R has PatternMatchable Integer

CoercibleTo OutputForm if R has PatternMatchable Float or R has PatternMatchable Integer

PatternMatchable Float if R has PatternMatchable Float

PatternMatchable Integer if R has PatternMatchable Integer

SetCategory if R has PatternMatchable Float or R has PatternMatchable Integer