SuchThat(S1, S2)

suchthat.spad line 1 [edit on github]

• S1: SetCategory

• S2: SetCategory

This domain implements “such that” forms

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

construct: (S1, S2) -> %

construct(s, t) makes a form s: t

latex: % -> String

from SetCategory

lhs: % -> S1

lhs(f) returns the left side of f

rhs: % -> S2

rhs(f) returns the right side of f

BasicType

CoercibleTo OutputForm

SetCategory