SuchThat(S1, S2)

suchthat.spad line 1 [edit on github]

• S1 : SetCategory
• S2 : SetCategory

This domain implements "such that" forms

= : (%, %) -> 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

~= : (%, %) -> Boolean

from BasicType

CoercibleTo(OutputForm)

SetCategory

BasicType