|
|
|
last edited 5 years ago by Bill Page |
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
)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")