Obtaining the poset of monotone functions
 
  
 
  
 
 
 
 
 
 
    
        
        asked 2 years ago  
 
 klaaa gravatar image  
 
 
 
 
    
        
        updated 2 years ago  
 
 
 
 
 
Let P and Q be finite posets.
Is there an easy way to obtain the poset (with the natural order) of monotone function from P to Q via Sage? Is it possible to obtain also the poset of injective (or surjective) monotone functions?
 
Special cases would also be interesting such as when P and Q are lattices or total orders.
 
Preview: (hide)
 
 
 
 
          
 
Comments
There is P.intervals_poset() for a specific case.
FrédéricC gravatar imageFrédéricC (
    
        2 years ago
    )
Does Sage only provides a direct way to iterate over all nondecreasing (or monotone) maps between two finite posets ?
tmonteil gravatar imagetmonteil (
    
        2 years ago
    )
add a comment