AttachPredicates D

expr.spad line 1020 [edit on github]

• D: Type

Attaching predicates to symbols for pattern matching. Date Created: 21 Mar 1989

suchThat: (Symbol, D -> Boolean) -> Expression Integer

suchThat(x, foo) attaches the predicate foo to x.

suchThat: (Symbol, List(D -> Boolean)) -> Expression Integer

suchThat(x, [f1, f2, ..., fn]) attaches the predicate f1 and f2 and … and fn to x.