SingletonAsOrderedSet

poly.spad line 1 [edit on github]

This trivial domain let us build Univariate Polynomials in an anonymous variable.

< : (%, %) -> Boolean

from PartialOrder

<= : (%, %) -> Boolean

from PartialOrder

= : (%, %) -> Boolean

from BasicType

> : (%, %) -> Boolean

from PartialOrder

>= : (%, %) -> Boolean

from PartialOrder

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

convert : % -> Symbol

create : () -> %

create() returns the only element of %.

hash : % -> SingleInteger

from Hashable

hashUpdate! : (HashState, %) -> HashState

from Hashable

latex : % -> String

from SetCategory

max : (%, %) -> %

from OrderedSet

min : (%, %) -> %

from OrderedSet

smaller? : (%, %) -> Boolean

from Comparable

~= : (%, %) -> Boolean

from BasicType

CoercibleTo(OutputForm)

Hashable

Canonical

Comparable

OrderedSet

SetCategory

BasicType

PartialOrder