AttachPredicates DΒΆ

expr.spad line 1033

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.