IndexCard

alql.spad line 28 [edit on github]

This domain implements a container of information about the FriCAS library

< : (%, %) -> Boolean

from PartialOrder

<= : (%, %) -> Boolean

from PartialOrder

= : (%, %) -> Boolean

from BasicType

> : (%, %) -> Boolean

from PartialOrder

>= : (%, %) -> Boolean

from PartialOrder

coerce : String -> %

coerce(s) converts s into an IndexCard. Warning: if s is not of the right format then an error will occur when using it.

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

display : % -> Void

display(ic) prints a summary of the information contained in ic.

elt : (%, Symbol) -> String

elt(ic, s) selects a particular field from ic. Valid fields are name, nargs, exposed, type, abbreviation, kind, origin, params, condition, doc.

fullDisplay : % -> Void

fullDisplay(ic) prints all of the information contained in ic.

latex : % -> String

from SetCategory

max : (%, %) -> %

from OrderedSet

min : (%, %) -> %

from OrderedSet

smaller? : (%, %) -> Boolean

from Comparable

~= : (%, %) -> Boolean

from BasicType

PartialOrder

Comparable

CoercibleTo(OutputForm)

BasicType

OrderedSet

SetCategory