SuchThat(S1, S2)ΒΆ

suchthat.spad line 1

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
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
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