MathAction OrderedSet

↑

OrderedSet
last edited 7 years ago by Bill Page

Topics

FrontPage
- FriCAS Library
  - FriCAS Library Examples
    - NoncommutativePolynomials
      - SandboxFactoringNoncommutativePolynomials
        
        FreeMonoid
        
        OrderedSet <-- You are here.

The class of totally ordered sets, that is, sets such that for each pair of elements (a, b) exactly one of the following relations holds a < b or a=b or b < a and the relation is transitive, i.e. a < b and b < c => a < c. This order should be the natural order on given structure.

fricas

(1) -> )sh OrderedSet

 OrderedSet is a category constructor
 Abbreviation for OrderedSet is ORDSET 
 This constructor is exposed in this frame.
------------------------------- Operations --------------------------------

 ?<? : (%, %) -> Boolean ?<=? : (%, %) -> Boolean
 ?=? : (%, %) -> Boolean ?>? : (%, %) -> Boolean
 ?>=? : (%, %) -> Boolean coerce : % -> OutputForm
 latex : % -> String max : (%, %) -> %
 min : (%, %) -> % smaller? : (%, %) -> Boolean
 ?~=? : (%, %) -> Boolean