FunctionSpaceAttachPredicates(R, F, D)ΒΆ

expr.spad line 911

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

suchThat: (F, D -> Boolean) -> F
suchThat(x, foo) attaches the predicate foo to x; error if x is not a symbol.
suchThat: (F, List D -> Boolean) -> F
suchThat(x, [f1, f2, ..., fn]) attaches the predicate f1 and f2 and ... and fn to x. Error: if x is not a symbol.