SetCategory

catdef.spad line 1450 [edit on github]

SetCategory is the basic category for describing a collection of elements with = (equality) and coerce to output form. Conditional Attributes: canonicaldata structure equality is the same as =

= : (%, %) -> Boolean

from BasicType

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

latex(s) returns a LaTeX-printable output representation of s.

~= : (%, %) -> Boolean

from BasicType

BasicType

CoercibleTo(OutputForm)