login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for OrderedVariableList revision 1 of 1

1
Editor: Bill Page
Time: 2018/07/04 16:50:05 GMT+0
Note:

changed:
-
This domain implements ordered variables
\begin{axiom}
)sh OrderedVariableList
\end{axiom}


This domain implements ordered variables

fricas
(1) -> )sh OrderedVariableList
OrderedVariableList(VariableList: List(Symbol)) is a domain constructor Abbreviation for OrderedVariableList is OVAR This constructor is not exposed in this frame. ------------------------------- Operations --------------------------------
?<? : (%, %) -> Boolean ?<=? : (%, %) -> Boolean ?=? : (%, %) -> Boolean ?>? : (%, %) -> Boolean ?>=? : (%, %) -> Boolean coerce : % -> OutputForm convert : % -> Pattern(Integer) convert : % -> Pattern(Float) convert : % -> Symbol convert : % -> InputForm enumerate : () -> List(%) hash : % -> SingleInteger index : PositiveInteger -> % latex : % -> String lookup : % -> PositiveInteger max : (%, %) -> % min : (%, %) -> % random : () -> % size : () -> NonNegativeInteger smaller? : (%, %) -> Boolean ?~=? : (%, %) -> Boolean hashUpdate! : (HashState, %) -> HashState variable : Symbol -> Union(%,"failed")