#17173: Poset: faster is_distributive_lattice
-------------------------------------+-------------------------------------
       Reporter:  jmantysalo         |        Owner:
           Type:  enhancement        |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.4
      Component:  combinatorics      |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Jori Mäntysalo     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/jmantysalo/poset__faster_is_distributive_lattice|  
d69e73a0a0a655e4e1595a77cda807ccb017fb02
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by jmantysalo):

 Replying to [comment:8 ncohen]:
 > Hello !
 >
 > > In other words: If `G.vertices()` prints `..., a, ..., b, ...`, can it
 after `D.delete_edges(...)` print  `..., b, ..., a, ...`? If not, is this
 guaranteed behaviour in following versions of Sage?
 >
 > Hmmmmm... If the vertex set consists of integers this will not happens,
 but is that really a problem ? You can also store and manage the list of
 vertices yourself. Or rename the set of points.

 Hasse diagram has always integers `0,...,n-1` as labels. But I don't quite
 get this: if I write code that manages list of vertex labels, I am doing
 code that posets code already does.

 Actually I think that I will start discussion about this on sage-devel.

--
Ticket URL: <http://trac.sagemath.org/ticket/17173#comment:9>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to