AttachPredicates(D)

expr.spad line 1028 [edit on github]

• D : Type

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

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

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

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

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