#17181 closed defect (fixed)
Poset.__repr__ should mention the linear extension
Reported by:  ncohen  Owned by:  

Priority:  major  Milestone:  sage6.4 
Component:  combinatorics  Keywords:  
Cc:  hivert, nthiery, nborie, VivianePons, chapoton, aschilling, stumpc5, jmantysalo, tscrim, jhpalmieri  Merged in:  
Authors:  Nathann Cohen  Reviewers:  Nicolas M. Thiéry 
Report Upstream:  N/A  Work issues:  
Branch:  8ec394b (Commits)  Commit:  
Dependencies:  #14019  Stopgaps: 
Description
Hello everybody !
A poset with embedded linear extension can never be equal to a "simple poset", and users are bound to wonder someday why two apparently equal posets are not detected as such.
With this branch, this:
sage: Poset(digraphs.Path(5),linear_extension=True) Finite poset containing 5 elements
becomes
sage: Poset(digraphs.Path(5),linear_extension=True) Finite poset containing 5 elements with embedded linear extension
So that it is clearer that the Poset is 'not only a poset'.
Change History (8)
comment:1 Changed 6 years ago by
 Branch set to u/ncohen/17181
 Dependencies set to #14019
 Status changed from new to needs_review
comment:2 Changed 6 years ago by
 Commit set to db2ce313d76bc48a890b19780dd4da01580ec055
comment:3 Changed 6 years ago by
Sounds good to me, thanks! I would just suggest "distinguished" rather than "embedded", since we use that term in similar situations.
The doctest updates raise the question of whether the use of a poset with a linear extension was voluntary or accidental in a couple places (e.g. in the polyhedra code). But fixing those accidental uses can be in a separate ticket.
Modulo this, and assuming that all tests pass, you can set a positive review on my behalf.
Cheers,
Nicolas
comment:4 Changed 6 years ago by
 Commit changed from db2ce313d76bc48a890b19780dd4da01580ec055 to 8ec394bed9a5cbd95d3ed4edb7923994af3fb86a
Branch pushed to git repo; I updated commit sha1. New commits:
8ec394b  trac #17181: Reviewer's remarks

comment:5 Changed 6 years ago by
 Reviewers set to Nicolas Thiery
 Status changed from needs_review to positive_review
comment:6 Changed 6 years ago by
 Branch changed from u/ncohen/17181 to 8ec394bed9a5cbd95d3ed4edb7923994af3fb86a
 Resolution set to fixed
 Status changed from positive_review to closed
comment:7 Changed 6 years ago by
 Commit 8ec394bed9a5cbd95d3ed4edb7923994af3fb86a deleted
 Reviewers changed from Nicolas Thiery to Nicolas Thiéry
Nathann, I thought you knew about accent aigu! ;) (Actually, I live in perpetual fear of forgetting one somewhere important  it must be even more gauche than forgetting an umlaut in German...)
comment:8 Changed 6 years ago by
 Reviewers changed from Nicolas Thiéry to Nicolas M. Thiéry
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
revert remove of iterator() and list()
Merge remotetracking branch 'origin/develop' into depr_func
deprecate compact argument
Merge branch 'u/aapitzsch/ticket/16933' of trac.sagemath.org:sage into public/combinat/poset/fix_equality14019
trac #14019: rename _linear_extension to _carries_linear_extension
renamed _carries_linear_extension to _with_linear_extension
Merge branch 'public/combinat/poset/fix_equality14019' of trac.sagemath.org:sage into public/combinat/poset/fix_equality14019
Fixing documentation and references.
trac #14019: Merged with beta6
trac #17181: Poset.__repr__ should mention the linear extension