SetCategoryΒΆ

catdef.spad line 1449 [edit on github]

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

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

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

BasicType

CoercibleTo OutputForm